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 hecho, podemos, con el uso adecuado de los símbolos griegos, como suelen hacer los matemáticos, podemos probar un teorema que dice que tal robot es probablemente beneficioso para el humano.