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.
In realtà possiamo, con un uso adeguato di simboli greci, come fanno solitamente i matematici, possiamo davvero dimostrare un teorema che dice che un robot del genere è certamente vantaggioso agli umani.