Vector space/Product/Dimension/Exercise/Solution