Natürliche Zahlen/Multiplikation/Selbstaddition/Integrität/Fakt/Beweis

Beweis

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.