linalg: prove that all vector spaces have a basis. also prove the steinitz exchange lemma