text: Тогда, если ( x j − x i ) ≡ 0 ( m o d p ) {\displaystyle (x_{j}-x_{i})\equiv 0(\mathrm {mod} \,p)} , то ( f ( x j ) − f ( x i ) ) ≡ 0 ( m o d p ) {\displaystyle (f(x_{j})-f(x_{i}))\equiv 0(\mathrm {mod} \,p)} , поэтому, если пара ( x i , x j ) {\displaystyle (x_{i},x_{j})} даёт решение, то решение даст любая пара ( x i + k , x j + k ) {\displaystyle (x_{i+k},x_{j+k})} .