When divides any non-contact polynomial in particular, it divides and .
According to theorem 4.7 (2), this implies that and with some .
Moreover, since the degree of products of polynomials over fields would be the sum of the degrees of the factors when , or correspondingly , there exists such that,
role="math" localid="1648088224049"
Furthermore, entails and because it could deduce that .
However, and it deduces that role="math" localid="1648088554769" , which is a contradiction.
As a result, and would be a constant polynomial.
Hence, it is proved that is a constant polynomial.