Si las dos matrices lo verifican, ésta más grande también verifica las relaciones de conmutación: