הוכחה לפי מקרים