linalg: Add a missing lemma about elementary matrices.