Kostant multiplicity formula