Auf einem affinen Raum A K n = Spek ( K [ X 1 , … , X n ] ) {\displaystyle {}{{\mathbb {A} }_{K}^{n}}=\operatorname {Spek} {\left(K[X_{1},\ldots ,X_{n}]\right)}} ist
da eine Gleichung der Form
wegen der Faktorialität des Polynomringes nur im trivialen Fall möglich ist, also wenn X 1 k {\displaystyle {}X_{1}^{k}} ein Teiler von P {\displaystyle {}P} ist.