Let f be a contraction mapping from a closed subset F of a Banach space E into F. Then there exists a unique z element F such that f(z) = z.