Sufficient conditions are given to assert that a differentiable proper Fredholm mapping between Banach spaces over K = R or K = C has a zero. The proof of the result is constructive and is based upon continuation methods.