and also incidentally shows that the gaussian binomial coefficients are indeed polynomials (in "q"). the second pascal identity follows from the first using the substitution formula_23 and the invariance of the gaussian binomial coefficients under the reflection formula_23. both pascal identities together imply