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

Beweis

Wenn die beiden Faktoren $a,b$ nicht $0$ sind, so ist

$a,b\ge 1$

nach Fakt  (2) und somit ist

$a\cdot b\ge 1$

nach Fakt  (4).

Zur bewiesenen Aussage