theorem
    for R,M,N,N1
    for u be Homomorphism of R,N,N1 holds
    phi(M,u) is Homomorphism of R, Hom(R,M,N), Hom(R,M,N1) by Def10;
