Cuanto tenemos un estado formula_17 en el caso discreto (que es lo que estamos haciendo)