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