Prove A Set Is A Basis