theorem :: INT_5:27
for p being Prime holds Lege (1,p) = 1