theorem Th6: :: ALG_1:6

for U1, U2, U3 being Universal_Algebra
for h1 being Function of U1,U2
for h2 being Function of U2,U3 st h1 is_homomorphism & h2 is_homomorphism holds
h2 * h1 is_homomorphism