If f is a contraction mapping on a non-empty, complete metric space X, then there is a unique fixed point x in X under the mapping, i.e. f(x) = x for exactly one point x. This fixed point is the limit of the Cauchy sequence xn+1 = f(xn) beginning from any x1.