y, como formula_9 es contractiva,