홀수인 소수 $p$가 주어져있다. 어떤 정수계수 다항식 $f(x)=\sum_{j=0}^n a_j x^j$에서 $a_{p-1}+a_{2(p-1)}+a_{3(p-1)}+\cdots$를 $p$로 나누었을때 $i$가 된다면 이 다항식을 $i$남음이라 부르자. 이때 집합 $\{f(0),f(1),\ldots,f(p-1)\}$에 있는 수를 $p$로 나눈 나머지가 서로 다를 필요충분조건은 다항식 $f(x)$, $(f(x))^2$, $\ldots$, $(f(x))^{p-2}$가 $0$남음이면서 $(f(x))^{p-1}$이 $1$-남음인 것이다.