This theorem says that a self-map on a [metric space](/page/Metric%20Space) is a contraction exactly when the supremum of all pairwise distance ratios is strictly less than one. It turns the pointwise contraction inequality into a single global bound that is often easier to verify.