theorem Th25: :: GROUP_2:25

for G being non empty multMagma
for A, B being Subset of G st G is commutative Group holds
A * B = B * A