Tener tres números enteros a, b, n puedo demostrar n|(a−b)n|(a−b) simplemente demostrando que (a−b)≡0(modn)(a−b)≡0(modn).
Por ejemplo, para demostrar que 11|(1511−1311−211)11|(1511−1311−211) podemos proceder como sigue
\begin{split} (15^{11}-13^{11}-2^{11}) &\equiv (15-13-2) \pmod {11} \quad \text{Fermat's little theorem}\ 15-13-2 &= 0 \end{dividido}\begin{split} (15^{11}-13^{11}-2^{11}) &\equiv (15-13-2) \pmod {11} \quad \text{Fermat's little theorem}\ 15-13-2 &= 0 \end{dividido}
prueba de (1511−1311−211)≡0(mod11)(1511−1311−211)≡0(mod11) 11|(1511−1311−211)11|(1511−1311−211)
¿Es correcto?