Sei ${\displaystyle {}K}$ ein algebraisch abgeschlossener Körper und sei ${\displaystyle {}R}$ eine reduzierte ${\displaystyle {}K}$-Algebra von endlichem Typ.

${\displaystyle {}f,g\in R}$

${\displaystyle {}f(P)=g(P)}$

${\displaystyle {}P\in K\!\!-\!\operatorname {Spek} \,{\left(R\right)}}$

${\displaystyle {}f=g}$