Theorems of Leray-Schauder Type And Applications