Dimension Theorem for Vector Spaces