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