States Whitehead Lemma: Let R be a unital ring with multiplicative identity 1_R. For each n 1, let I_n GL_n(R) be the identity matrix, and for i j and r R let e_ij(r) GL_n(R) denote the elementary matrix obtained from I_n by putting r in the (i,j)-entry.