תרגיל 4 - הוכחה או הפרכה