Ratkaisu: Oletetaan ensin, että $\text{[math]}$ ja $\text{[math]}$ kommutoivat ja $\text{[math]}$ on yhtä suurempi kokonaisluku. Silloin

\text{[math]}

Oletetaan sitten, että kyseinen yhtälö pätee alkioilla $\text{[math]}$ ja $\text{[math]}$ sekä kaikilla kokonaisluvuilla $\text{[math]}$ . Silloin se pätee erityisesti kokonaisluvulla $\text{[math]}$ , eli

\text{[math]}

Vähentämällä puolittain $\text{[math]}$ saadaan $\text{[math]}$ , eli $\text{[math]}$ . Siispä $\text{[math]}$ ja $\text{[math]}$ kommutoivat.