Observando que formula_142 vemos que basta verificar que