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: