define polynomial multiplication, prove that you can divide out monomials from polynomials with roots