theorem Th16: :: MSUHOM_1:16

for U1, U2 being Universal_Algebra
for h being Function of U1,U2 st h is_homomorphism holds
MSAlg h is_homomorphism MSAlg U1,(MSAlg U2) Over (MSSign U1)