Kategorie:Theorie der kompakten Gruppen/Beweise