theorem Th25: :: INT_5:25

for a being Integer
for p being Prime holds
( Lege (a,p) = 1 or Lege (a,p) = 0 or Lege (a,p) = - 1 )