Puesto que 3 ≡ 1 (mod 17) — como indica el Pequeño teorema de Fermat — , se deduce que, si "n" es un entero, entonces 3 ≡ 3 × (3) ≡ 13 × 1 ≡ 13 (mod 17).