Dimension of Vector Space is Well-Defined