multinomial distribution proof