Leray-Schauder fixed point theorem

Let $T$ be a compact continuous self-map of a Banach space. If the set of solutions of $u=tT(u)$ for $0\le t\le 1$ is bounded, then $T$ has a fixed point. The theorem converts a priori estimates for a homotopy of equations into existence.