On a sharpened form of the Schauder fixed-point theorem.