In this note we discuss a
purely algebraic proof of Weyl’s theorem that all finite-dimensional representations of
a complex semisimple Lie algebra are completely reducible. We give a simple and
direct proof which is elementary in the sense that it does not use cohomology, and
which is a synthesis of the older proofs of Casimir – van der Waerden and of
Brauer.