theorem Th29: :: GROUP_3:29

for G being Group
for a, b being Element of G st G is commutative Group holds
a |^ b = a