Es decir, "x" es un punto fijo de la función "f" si y sólo si formula_1.