Es sei K {\displaystyle {}K} ein endlicher Körper der Charakteristik p {\displaystyle {}p} und sei f 1 , … , f m ∈ K [ X 1 , … , X n ] {\displaystyle {}f_{1},\ldots ,f_{m}\in K[X_{1},\ldots ,X_{n}]} eine Familie von Polynomen mit
Dann gilt für die Anzahl der gemeinsamen Nullstellen der f i {\displaystyle {}f_{i}} im K n {\displaystyle {}K^{n}} die Beziehung