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.
De fato, com uso adequado de símbolos gregos, como costumavam fazer os matemáticos, podemos até provar um teorema segundo o qual tal robô é provavelmente benéfico ao homem.