R-Module R^n is n-Dimensional

Theorem
The $R$-module $R^n$ is $n$-dimensional.

Proof
Follows directly from Standard Ordered Basis is Basis.