theorem Th13: :: GROUP_7:13

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