for p, q being Prime st p > 2 & q > 2 & p <> q holds
(Lege (p,q)) * (Lege (q,p)) = (- 1) |^ (((p -' 1) div 2) * ((q -' 1) div 2))