theorem Th12: :: GROUP_6:12

for G being trivial strict Group holds (1). G = G