Let $\mathbb{R}^N$ be a D1256: Euclidean real vector space.

Then \begin{equation} \text{Dim}_{\mathbb{R}} \, \mathbb{R}^N = N \end{equation}