Wir behaupten
woraus nach den Hilbertschen Nullstellensatz folgt, dass f {\displaystyle {}f} zum Radikal der f 1 , … , f k {\displaystyle {}f_{1},\ldots ,f_{k}} gehört. Es sei P = ( x 1 , … , x n ) ∈ C n {\displaystyle {}P=\left(x_{1},\,\ldots ,\,x_{n}\right)\in {\mathbb {C} }^{n}} ein Punkt, und es sei P ∈ V ( f 1 , … , f k ) {\displaystyle {}P\in V{\left(f_{1},\ldots ,f_{k}\right)}} . Das bdedeutet f i ( P ) = 0 {\displaystyle {}f_{i}(P)=0} für alle i {\displaystyle {}i} . Dann ist
also