איך קוראים למשפט הזה בהוכחה??