conmuta con todos los operadores de la forma formula_20 y por tanto es unívocamente de la forma formula_21.