Lemma 1.7
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 1 Natürliche Zahlen/Multiplikation/Selbstaddition/Produktmenge/Fakt