Corrections as requested by Review 1

Only remarks left to handle:

6A(-3): Why can’t b_{m-1,n-1} yield a nonzero coefficient of degree m-1
in h_{n-1}?  The polynomial h_l will still have degree less than m by
definition (no need to note that m <= n), but I think the limits on the
sum in the definition for h_l are wrong. A9(8): Did you mean to leave
nothing inside the square brackets?  I see that you’re assigning it
below….

7B: In the two embedding sections, the meaning of m and n have been
reversed.