Sí formula_5 denota un estado con una partícula del tipo correcto entonces: