Ce théorème porte sur le nombre de racines communes d'un nombre fini de polynômes sur $\mathbb{F}_q^n$.
À la limite on peut voir ce problème comme une équation diophantienne si on se restreint au cas de $\mathbb{Z}/p\mathbb{Z}$. En effet résoudre $P(x) = 0 [p]$ revient à résoudre l'équation diophantienne $ P(x) = pk$ avec les variables $x$ et $k$.