theorem :: INT_5:51

for p, q being Prime st p > 2 & q > 2 & p <> q & ( p mod 4 = 1 or q mod 4 = 1 ) holds
Lege (p,q) = Lege (q,p)