En realidad todos los pasos son reversibles. Conmutan si y sólo si se cumplen esas ecuaciones que tienen esa solución única. Ha desarrollado AB y BA e igualdo y se da la igualdad si y sólo si se cumplen las ecuaciones, por lo que no es necesaria la comprobación.