Weyl Character formula and multiplicity formula for the weight spaces in a irreducible representation.