Kategorie:Theorie der Modulsubstitution/Beweise