תרגול שיטות הוכחה - חלק 1