Addition Rule for Gaussian Binomial Coefficients

Theorem
Let $\dbinom n m_q$ denote a Gaussian binomial coefficient.