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

Beweis

Wenn die beiden Faktoren nicht sind, so ist

nach Fakt  (2) und somit ist

nach Fakt  (4).