Kategorie:Theorie des Hauptteilmoduls/Beweise