theorem :: RING_3:107

for p being Prime
for f being Homomorphism of (Z/ p),(Z/ p) holds f = id (Z/ p)