Uniqueness of Irreducible Highest-Weight Modules with Fixed Highest Weight