theorem Th6: :: AUTALG_1:6

for UA being Universal_Algebra
for f1, f2 being Element of UAAut UA holds f1 * f2 in UAAut UA