Lemmas in linear algebra