Es sei K {\displaystyle {}K} ein Körper und R {\displaystyle {}R} eine endlich erzeugte kommutative K {\displaystyle {}K} -Algebra mit zwei Restklassendarstellungen
mit zugehörigen Nullstellengebilden V ( a ) ⊆ A K n {\displaystyle {}V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}} und V ( b ) ⊆ A K m {\displaystyle {}V({\mathfrak {b}})\subseteq {{\mathbb {A} }_{K}^{m}}} .
Dann sind die beiden Nullstellengebilde V ( a ) {\displaystyle {}V({\mathfrak {a}})} und V ( b ) {\displaystyle {}V({\mathfrak {b}})} mit ihrer induzierten Zariski-Topologie homöomorph zueinander.
ein
Körper
und 
eine
endlich erzeugte
kommutative
-Algebra
mit zwei
Restklassendarstellungen
![{\displaystyle R\cong K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}\,\,{\text{ und }}\,\,R\cong K[X_{1},\ldots ,X_{m}]/{\mathfrak {b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74c5402e49de9340978c0069772fdc7bcd15ab4a)
und
.
und 
mit ihrer induzierten
Zariski-Topologie
homöomorph
zueinander.
