Unitary R-Modules with n-Element Bases are Isomorphic

Theorem
Any two unitary $R$-modules having bases of $$n$$ elements are isomorphic.

Proof
From Isomorphism from R^n via n-Term Sequence, they are both isomorphic to the $R$-module $R^n$.