תרגיל 1 - הוכחת שיוויון קבוצות