theorem Th38: :: GROUP_6:38

for G being non empty multMagma holds id the carrier of G is multiplicative ;