Betrachte V = V ( X W − Y Z ) ⊆ A K 4 {\displaystyle {}V=V(XW-YZ)\subseteq {{\mathbb {A} }_{K}^{4}}} . Beschreibe eine offene Menge U ⊆ A K 4 {\displaystyle {}U\subseteq {{\mathbb {A} }_{K}^{4}}} derart, dass der zu U ∩ V ⊆ U {\displaystyle {}U\cap V\subseteq U} gehörende Ringhomomorphismus
nicht surjektiv ist.