Lie’s theorem
Let be a finite dimensional complex solvable Lie algebra, and a repesentation of . Then there exists an element of which is a simultaneous eigenvector
for all elements of .
Applying this result inductively, we find that there is a basis of with respect to which all elements of are upper triangular.