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.
و يمكننا حقيقةً باستعمالِ بعضِ الرّموز كما يفعلُ علماءُ الرياضيّاتِ عادةً أنْ نُثبتَ النظريّةَ القائلةَ بأنَّ روبوتاً كهذا سيكونُ حتماً مفيداً للإنسان.