如:If S spans V,then S contains a basis of V