theorem Th6: :: GROUP_22:6

for G being Group holds
( G is trivial iff multMagma(# the carrier of G, the multF of G #) = (1). G )