Beweis durch Fallunterscheidung/Erläuterung/Aufgabe