Есть такая теорема, что сравнение

, где f(x) - многочлен с целыми коэффициентами степени n, а p простое число, эквивалентно сравнению

, где R(x) тоже многочлен с целыми коэффициентами но уже степени не больше p-1.
В доказательстве многочлен f(x) делится на

. Получается, что

. А дальше говорится, что по малой теореме Ферма

. Но одно из условий этой теоремы - неделимость x на p. Почему это выполняется?