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