Writing Out the Proof of the Theorem

Open answer

Prove the Banach fixed-point theorem on a closed subset XX of R\mathbb{R}: show that the sequence of iterates is Cauchy, justify its convergence in XX, prove that the limit is a fixed point, then establish uniqueness. At each step, state which hypothesis is used.