Natürliche Zahlen/Kommutativer Halbring/Fakt/Beweis

Beweis

Dies folgt unmittelbar aus Fakt und aus Fakt.