Ahora bien, hay un corolario del teorema del punto fijo de Banach que nos dice que si un operador formula_26 es contractivo para alguna potencia formula_27 entonces formula_28 tiene un único punto fijo.