Ratkaisu:

a) Kommutatiivisuusehdosta saadaan $\text{[math]}$ .

b) Kerrotaan yhtälöä $\text{[math]}$ vasemmalta alkion $\text{[math]}$ käänteisalkiolla ja oikealta alkion $\text{[math]}$ käänteisalkiolla, jolloin saadaan

\text{[math]}

c) Nyt saadaan $\text{[math]}$ aina, kun $\text{[math]}$ , mistä b)-kohdan mukaan seuraa ryhmän $\text{[math]}$ kommutatiivisuus.