Kategorie:Theorie des Hauptteilmoduls/Fakten