Olkoon $\text{[math]}$ rengas. Alkioiden $\text{[math]}$ sanotaan kommutoivan, jos $\text{[math]}$ (kommutatiivisessa renkaassa siis kaikki alkiot kommutoivat toistensa kanssa). Osoita, että $\text{[math]}$ ja $\text{[math]}$ kommutoivat, jos ja vain jos kaikilla kokonaisluvuilla $\text{[math]}$ pätee yhtälö

\text{[math]}