theorem :: GROUP_7:36

for G1, G2, G3 being Group
for x being Element of G1
for y being Element of G2
for z being Element of G3 holds <*x,y,z*> " = <*(x "),(y "),(z ")*>