Finite-Dimensional Irreducible Modules Have Highest Weights