Euclidean Space is Banach Space

Theorem
Let $m$ be a positive integer.

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

Corollary
The complex plane, along with the metric induced by the norm given by 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 Metric is Metric.

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 of Product and Triangle Inequality.

Then we have Complex Plane is Complete Metric Space.

Hence the result.