Изменения

Заметим, что второй множитель в левой части имеет степень <tex>k</tex>, а степень правой части не превосходит <tex>k-1</tex>. Значит, многочлены <tex>Q(t)</tex> и <tex>P(t)</tex> всегда могут быть найдены. Более того, многочлен в знаменателе после нашего построения всегда принимает вид <tex>Q(t)=1 - c_1 \cdot t - c_2 \cdot t^2 - \ldots - c_k \cdot t^k</tex>.

<tex>\Leftarrow</tex>