Finite-Dimensionality of Irreducible Highest-Weight Modules with Dominant Integral Highest Weight