theorem :: INT_5:50

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