theorem :: GROUP_2:4

for G being Group
for g, h being Element of G holds {g,h} " = {(g "),(h ")}