De lo anterior se sigue que formula_14, pero esto es absurdo, por lo que formula_9 no puede tener dos puntos fijos distintos.