这个证明对吗？有人能解释一下吗？

如果是一个可约多项式表示成两个次数比他低的多项式的积的话，跟剧这个证明不也是矛盾吗？