Let B be a finite subset of a real vector space V which spansV and suppose that no proper subset of B spans V. Prove B is abasis for V.