Some sufficient conditions are provided that guarantee that the difference of a compact mapping and a proper mapping defined between any two Banach spaces over $𝕂$ has at least one zero. When conditions are strengthened, this difference has at most a finite number of zeros throughout the entire space. The proof of the result is constructive and is based upon a continuation method.