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$.