3.7. Division Algorithm for Polynomials