Dimension of Finitely Generated Vector Space is Well-Defined