Q-binomial theorem