Elementare Gruppentheorie/Hauptsatz über endlich erzeugte torsionsfreie kommutative Gruppen/Fakt/Beweis