Structure of the Real Vector Space

Theorem: Structure of the Real Vector Space

The vector space $({\mathbb{R}}^n,\mathbb{R},+,\cdot )$ of real column vectors forms a real inner product space with the real dot product.

PROOF

TODO