theorem :: GROUP_7:34

for G1 being Group
for x being Element of G1 holds <*x*> " = <*(x ")*>