theorem Th13: :: ENDALG:13

for G being non empty well-unital multLoopStr holds id the carrier of G is Homomorphism of G,G