Como formula_3, ser exacta es condición suficiente para ser cerrada.