theorem Th74: :: GROUP_5:74

for G being strict Group
for a, b being Element of G holds [.a,b.] in G `