Your "proof" doesn't look right because you didn't prove anything close to what you were asked: you

only "proved" that , the former being

a rather obvious property in this kind of groups, and the latter being an axiom of group theory.

What you have to prove is: . Hint: use that

Tonio