Es sei V ⊆ A K n {\displaystyle {}V\subseteq \mathbb {A} _{K}^{n}} eine affin-algebraische Menge mit Verschwindungsideal I = I ( V ) {\displaystyle {}I=I(V)} . Dann ist V ( I ( V ) ) = V {\displaystyle {}V(I(V))=V} .
