Вопрос: как из рассмотрения разностей следует доказательство несуществования искомого многочлена?
Никак, просто это пример того, что если снять ограничение на степень, то такой многочлен существует.
Что касается вопроса о присутствии отсутствия, то самое простое - это теорема о числе корней многочлена над полем.
Вам знакомо понятие сравнения по модулю и, в частности, сравнение по простому модулю?