Vector space/General distributivity law/Exercise