theorem :: GROUP_2:3

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