Natürliche Zahlen/Multiplikation/Selbstaddition/Kürzungsregel/Fakt/Beweis2

Beweis

Dies folgt unmittelbar aus Fakt  (5) und daraus, dass eine totale Ordnung vorliegt.