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.
사실 우리가 그리이스 문자를 사용해서 수학을 늘 공부하는 것처럼 우리는 하나의 가설을  증명할 수 있습니다. 어떤 정의냐면, 이런 로봇은 아마도 인간에게 도움이 될 거라는 겁니다.