Addition Rule for Gaussian Binomial Coefficients/Formulation 2

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

Then:
 * $\dbinom n m_q = \dbinom {n - 1} m_q q^m + \dbinom {n - 1} {m - 1}_q$

Proof
By definition of Gaussian binomial coefficient:

Thus: