theorem :: GROUP_2:26

for G being commutative Group
for A, B being Subset of G holds (A * B) " = (A ") * (B ")