theorem :: GROUP_5:59

for G being Group holds
( G is commutative Group iff commutators G = {(1_ G)} )