Teniendo en cuenta la definición de conmutador de dos operadores, siendo ésta:

Podemos demostrar la siguiente igualdad:

Calculando cada miembro de la igualdad por separado:


Por tanto:

Observamos pues que la igualdad se cumple, al ser (3) y (6) iguales. En conclusión:
