Natürliche Zahlen/Multiplikation/Selbstaddition/Kürzungsregel/Fakt/Beweis2
Erscheinungsbild
Beweis
Dies folgt unmittelbar aus Fakt (5) und daraus, dass eine totale Ordnung vorliegt.
Dies folgt unmittelbar aus Fakt (5) und daraus, dass eine totale Ordnung vorliegt.