tal que formula_22 está formado precisamente por los números positivos entre los valores supuestos por formula_29 como las variables