Vector space/Finite family/Linearly independent and dimension of spanned subspace/Exercise