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.
Mit angemessener Verwendung griechischer Zeichen, wie Mathematiker das halt tun, können wir einen Satz beweisen, der besagt, dass ein solcher Roboter nachweislich nützlich für Menschen ist.