Legyenek adottak x és y tetszőleges egész számok, valamint egy p pozitív prímszám, amelyekre teljesülnek az alábbiak:

\begin{aligned}x&\neq y\\v_p(xy)&=0\\v_p(x-y)&\neq 0\end{aligned}

Ekkor érvényes az alábbi összefüggés:

v_p(x^p-y^p)=v_p(x-y)+1