Tenker med en gang wilson her, nemlig atFinn hva en får til rest når en deler [tex]65! + 70[/tex] på [tex]67[/tex]
[tex](p-1)! \equiv -1 \pmod{p}[/tex]
Som gir
[tex](66)! \equiv -1 \pmod{67}[/tex]
LF sier at vi også vet at
[tex]-1 \equiv 66 \pmod{67}[/tex]
Og skriver så
[tex](66)! \equiv -66 \pmod{67}[/tex]
Er det bare å legge sammen de to tidligere kongurensene her?
[tex]66! - 1 \equiv 66 - 1 \pmod{67}[/tex]
[tex]66! \equiv 66 \pmod{67}[/tex]