binomial coefficient 12 4