(⇒)(7p)=1olsun.
(i) Eğer p≡1mod4 ise(7p)=(p7) 1≡p7−12≡p3mod7
p≡1,2,3,4,5,6sayarkenp≡1,2 veya4mod7 olur.
p≡1mod4vep≡1,2veya4mod7olduğundan p≡1,9veya25mod28
(ii) Eğer p≡3mod4ise(7p)=−(p7) −1≡p7−12≡p3mod7 p≡3,5veya6(mod7vep≡3mod4olduğundan p≡3,19veya27mod28
(7p)=1 isep≡1,3,9,19,25veya27mod28 elde edilir.
(⇐) p≡1,3,9,19,25veya27mod28 olsun
(7p) tanımı gereği p tek asal.
(i)Eğer p≡3,19veya27mod28ise p≡3mod4,p≡3,19veya27mod7için(7p)=−(p7)
p≡3,19veya27mod7⇒p≡3,5veya6mod7
(p7)=(37),(57)veya(67)
(37)=−(73)=−(13)=−1
(57)=(75)=(25)=−1
(67)=(37)(27)=(−1)(1)=−1
O halde
(7p)=−(p7)=1
(ii) p≡1,9veya25mod28isep≡1mod4 , p≡1,9veya25mod7için(7p)=(p7)
p≡1,9veya25mod7⇒p≡1,2veya4mod7
(p7)=(17),(27) veya(47)=1
(7p)=(p7)=1
p≡1,3,9,19,25veya27mod28ise(7p)=1 elde edilir.