:::::::ההנחה היא שאם לא ציינת אז כלום לא קרה עם נכשלים, ולכן פשיטא שאם מתרגל הוא אנוש אז הוא ישמח.
::::::::אבל לכל בן אנוש לב רגיל, לכן החיתוך בין בני האדם והמתרגלים הוא קבוצה ריקה, לכן מתרגל לא ישמח
== הוכחת משפט דארבו ==
הוכחנו אותו בכיתה? או שסתם צריך להכיר?