Kategorie:Theorie der Differentialoperatoren auf Funktionenkörpern/Beweise