theorem Th26: :: INT_5:26

for a being Integer
for p being Prime st a mod p <> 0 holds
Lege ((a ^2),p) = 1