Degree of Product of Polynomials over Integral Domain