Finite-Dimensional Irreducible Modules over Complex Semisimple Lie Algebras Have Highest Weights