english: In fact, we can, with suitable use of Greek symbols, as mathematicians usually do, we can actually prove a theorem that says that such a robot is provably beneficial to the human.
non_english: Aslında, matematikçilerin sıkça yaptığı gibi Yunan harflerinin uygun kullanımıyla, böyle bir robotun, insanlara yararının kanıtlanabileceğini söyleyen bir teoremi kanıtlayabiliriz.