Entonces, si formula_153 es un punto de formula_67 se tiene que