Standard space/K^n/Dimension n/Fact/Proof

Proof

The standard basis ${}e_{i}$, ${}i=1,\ldots ,n$, consists of ${}n$ vectors; hence, the dimension is ${}n$.

To fact