Kategorie:Theorie der Krulldimension von endlich erzeugten Algebren über Körpern/Beweise