Es sei P ∈ V ( b ) {\displaystyle {}P\in V({\mathfrak {b}})} . D.h. für jedes F ∈ b {\displaystyle {}F\in {\mathfrak {b}}} ist F ( P ) = 0 {\displaystyle {}F(P)=0} . Dann ist erst recht F ( P ) = 0 {\displaystyle {}F(P)=0} für jedes F ∈ a {\displaystyle {}F\in {\mathfrak {a}}} .
