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