theorem
for p being Prime,
    f being Homomorphism of Z/p,Z/p holds f = id Z/p
proof
let p be Prime;
let f be Homomorphism of Z/p,Z/p;
id Z/p = canHom_Z/(p,Z/p) by Th105;
hence thesis by Th105;
end;
