Use the definition of the q-series (a;q)_n congruent product_(j = 0)^(n - 1)(1 - a q^j) and define [N M] congruent (q^(N - M + 1) ;q)_M/(q;q)_m. Then P.