Prove that a finite spanning set can be narrowed to a basis