Giả sử (x;p) = 1 thì ta thấy (y,p) = 1
Ta có: \(x^2\equiv-y^2\left(mod\text{ p}\right)\)
\(\Leftrightarrow x^{4k+2}\equiv-y^{4k+2}\left(mod\text{ p}\right)\)
\(\Leftrightarrow1\equiv-1\left(mod\text{ p}\right)\)(Định lí Fermat)
Do đó \(\left(x;p\right)\ne1\Rightarrow x⋮p\)và dễ thấy \(y⋮p\)(Đpmcm)