Contraction mapping theorem

A contraction of a nonempty complete metric space has one fixed point, and every orbit converges to it geometrically.