theorem :: INT_5:27

for p being Prime holds Lege (1,p) = 1