Dimension of a Vector Space