Kategorie:Theorie der Räume von Homomorphismen/Beweise