Amended statement of basis lemma
Started to add proof for second basis element