theorem Th34: :: AUTALG_1:34

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