Whitehead's lemma — lemma about Lie algebra representations