Natürliche Zahlen/Kommutativer Halbring/Fakt/Beweis