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.
באמצעות שימוש ראוי באותיות יווניות, כפי שנהוג אצל המתמטיקאים, ניתן להוכיח ההנחה שאומרת שרובוט כזה הינו בהחלט מועיל לאנושות.