theorem Th42: :: INT_5:42

for p being Prime st p > 2 holds
Lege (2,p) = (- 1) |^ (((p ^2) -' 1) div 8)