Polynomring/Körper/Krulldimension/Höhengleichheit/Fakt