Si aplicamos este operador a un estado etiquetado como "n" que satisfaga las relaciones (1) se puede comprobar que: