This result can be proven since it is known that
and using the definition of the q-Pochhammer symbol
which leads to the conclusion that it equals
Askey & Wilson (1985). - Askey, Richard; Wilson, James (1985), "Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials", Memoirs of the American Mathematical Society, 54 (319): iv+55, doi:10.1090/memo/0319, ISBN 978-0-8218-2321-7, ISSN 0065-9266, MR 0783216 https://books.google.com/books?id=9q9o03nD_xsC ↩