PQ = (ax + b)(cx + d) = acx^2 + bcx + adx + bd = x(acx + bc + ad) bd
PQ % x = bd % x = (P % x)(Q % x) % x