Ratkaisu: Polynomien jakoalgoritmin mukaan jokaista monomia $\text{[math]}$ kohti on olemassa yksikäsitteiset polynomit $\text{[math]}$ , $\text{[math]}$ , joilla $\text{[math]}$ . Koska jakojäännöspolynomien $\text{[math]}$ aste on enintään $\text{[math]}$ ja termien kertoimilla on vain kaksi vaihtoehtoa, $\text{[math]}$ tai $\text{[math]}$ , niin näitä polynomeja on enintään $\text{[math]}$ erilaista. Siispä on olemassa kaksi lukua välillä $\text{[math]}$ , joilla $\text{[math]}$ . Silloin

eli $\text{[math]}$ jakaa polynomin $\text{[math]}$ .