Polynomring/Körper/Hyperfläche/Dimension/Fakt/Beweis
Beweis
Nach Fakt gibt es eine endliche Erweiterung
Nach Fakt stimmen die Dimensionen der beiden Ringe überein. Also hat der Hyperflächenring die gleiche Dimension wie der Polynomring in Variablen, die nach Fakt gleich ist.