theorem Th10: :: GROUP_7:10

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