Lemma Anhang 1.10
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung Anhang 1 Natürliche Zahlen/Potenzen/Zählen/Fakt