theorem Th24: :: NAT_6:24

for p being natural prime number
for a being integer number holds
( Leg (a,p) = 1 or Leg (a,p) = 0 or Leg (a,p) = - 1 )