Kategorie:Theorie der rationalen Funktionen auf dem K-Spektrum/Beweise