Continuous Functions on Compact Space form Banach Space

Theorem
Let $X$ be a compact Hausdorff space.

Let $Y$ be a Banach space.

Let $\CC = \CC \struct {X; Y}$ be the set of all continuous mappings $X \to Y$.

Let $\norm {\,\cdot\,}_\infty$ be the supremum norm on $\CC$.

Then $\struct {\CC, \norm {\,\cdot\,} }$ is a Banach space.

Proof
We have that the set of continuous mappings $X \to Y$ is a subset of the set $Y^X$ of all mappings $X \to Y$.

Therefore by Vector Space of All Mappings is Vector Space, we need only show that $\CC$ is a subspace of $Y^X$.

By the One-Step Vector Subspace Test we need only show that $\CC$ is closed under linear combinations (clearly $\CC$ contains $0$).

But this is shown by the Combined Sum Rule for Continuous Functions.

We have Supremum Norm is Norm.

It remains to be shown that $\CC$ is complete.

But this is precisely the statement of the Uniform Limit Theorem.