Es sei F ∈ K [ X 1 , … , X n ] {\displaystyle {}F\in K[X_{1},\ldots ,X_{n}]} ein Polynom, und sei F s ∈ Id ( T ) {\displaystyle {}F^{s}\in \operatorname {Id} \,(T)} . Dann ist F s ( P ) = 0 {\displaystyle {}F^{s}(P)=0} für alle P ∈ T {\displaystyle {}P\in T} . Dann ist aber auch F ( P ) = 0 {\displaystyle {}F(P)=0} für alle P ∈ V {\displaystyle {}P\in V} , also F ∈ Id ( T ) {\displaystyle {}F\in \operatorname {Id} \,(T)} .