Euclidean Space is Banach Space

Theorem
Let $m$ be a positive integer.

Then the Euclidean space $\R^m$, along with the Euclidean norm, forms a Banach space over $\R$.

Corollary
The complex plane, along with the complex modulus, forms a Banach space over $\C$.

Proof
The Euclidean space $\R^m$ is a vector space over $\R$.

That the norm axioms are satisfied is proven in Euclidean Space is Normed Space.

Then we have Euclidean Space is Complete Metric Space.

The result follows by the definition of a Banach space.

Proof of Corollary
The complex plane $\C$ is a vector space over $\C$.

That the norm axioms are satisfied is proven in Modulus is Norm.

Then we have Complex Plane is Complete Metric Space.

Hence the result.