Felhasználjuk a Wilson tételt, ami kimondja, hogy De és így Tehát De p=4k+1 miatt és így azaz megoldásai a vizsgált kongruenciának.