Es sei K {\displaystyle {}K} ein Körper und R {\displaystyle {}R} eine endlich erzeugte kommutative K {\displaystyle {}K} -Algebra.
Dann ist
![{\displaystyle {}K\!\!-\!\operatorname {Spek} \,{\left(R[X]\right)}\cong K\!\!-\!\operatorname {Spek} \,{\left(R\right)}\times {\mathbb {A} }_{K}^{1}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65e9a1a4a31ba5e37318668185546b194ad899b3)