A new applicable Leray-Schauder alternative is presented for weakly-strongly sequentially continuous maps. This result is then used to establish a general existence principle for operator equations.