Multi-binomial theorem