Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Multiplikation/Fakt/Faktreferenznummer