theorem Th10: :: GROUP_6:10

for G being Group holds (1). G is trivial