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.
En fait, avec une utilisation appropriée des symboles grecs, comme le font souvent les mathématiciens, nous pouvons prouver un théorème qui dit qu'un tel robot est manifestement bénéfique pour l'humain.