The proof is by induction on the dimension of \mathfrak{g} and consists of a few steps. (Note the structure of the proof is very similar to that for Lie's theorem, which concerns a solvable algebra.) The basic case is trivial and we assume the dimension of \mathfrak{g} is positive.
