Leray-Schauder principle