4.8 多项式的带余除法 `$T: \mathcal P_{n-m}(F) \times \mathcal P_{m-1}(F)$`