Kurs:Grundkurs Mathematik/Natürliche Zahlen/Addition mit n/Nachfolgerzählen/Hilfseigenschaften/Fakt/Faktreferenznummer

Lemma 8.11 (Grundkurs Mathematik (Osnabrück 2022-2023))