Gruppentheorie/Hauptsatz für endliche abelsche Gruppen/Fakt/Beweis