theorem Th12: :: GROUP_7:12

for G1 being non empty associative multMagma holds <*G1*> is associative multMagma-Family of {1}