Baire Category Theorem/Corollary/Proof 2

Proof
This proof does not use the, as it uses intrinsic properties of the real numbers that do not necessarily hold for the general complete metric space.