Binomial_inverse_theorem