theorem Th11: :: GROUP_7:11

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