theorem Th33: :: AUTALG_1:33

for UA being Universal_Algebra
for h being Function st dom h = UAAut UA & ( for x being object st x in UAAut UA holds
h . x = 0 .--> x ) holds
h is Homomorphism of (UAAutGroup UA),(MSAAutGroup (MSAlg UA))