Las últimas dos condiciones pueden ser sustituidas por la siguiente condición equivalente: la función formula_4 que aplica formula_9 es continua.