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