Lemma 1.6
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 1 Natürliche Zahlen/Nachfolger/Addition und disjunkte Vereinigung/Fakt
