text: Значит по теореме Безу h ( x ) {\displaystyle h(x)} тождественно равен нулю, т. е. для всех x {\displaystyle x} будет f ( x ) = g ( x ) {\displaystyle f(x)=g(x)} , в частности f ( 0 ) = g ( 0 ) {\displaystyle f(0)=g(0)} , что равносильно ( − 1 ) p − 1 ( p − 1 ) ! ≡ − 1 ( mod p ) {\displaystyle (-1)^{p-1}(p-1)!\equiv -1{\pmod {p}}} .