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