Natürliche Zahlen/Multiplikation/Selbstaddition/Integrität/Fakt/Beweis/Aufgabe/Lösung
Wir zeigen, dass mit auch das Produkt von verschieden ist. Das Produkt ist
und hier steht mindestens ein Summand. Aus Fakt und
folgt, dass diese Summe nicht ist.