theorem Th36: :: INT_5:36

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