Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Natürliche Zahlen/Eindeutigkeit der Addition/Fakt/Faktreferenznummer