Closure property of multiplication of polynomials