Здравствуйте, kov_serg, Вы писали:

_>Что-то не могу понять. Как они такую фигню получают?
_><span class='lineQuote level1'>_&gt;[url=https://i.imgur.com/pP46W80.png]Image: pP46W80.png</span>[/url]

Не понял в чем проблема, прямой подстановкой и использованием малой теоремы ферма проверяется что это верно.

Здравствуйте, kov_serg, Вы писали:

_>Что-то не могу понять. Как они такую фигню получают?
_><span class='lineQuote level1'>_&gt;[url=https://i.imgur.com/pP46W80.png]Image: pP46W80.png</span>[/url]

Не понял в чем проблема, прямой подстановкой и использованием малой теоремы ферма проверяется что это верно, т.е. приводится к общему знаменателю, а потом
слева (x^3 + a*x + b)^p = x^3 + a*x + b (mod p)
справа x^3p + a*x^p + b = (x^3)^p + a*x^p + b = x^3 + a*x + b (mod p)