Vector space/Finite family/Properties of substitution/Exercise