theorem :: GROUP_7:14

for G1 being Group holds <*G1*> is Group-like associative multMagma-Family of {1} ;