text: Если для всех a {\displaystyle a} от 1 до ⌊ φ ( r ) log ⁡ ( n ) ⌋ {\displaystyle \left\lfloor {\sqrt {\varphi (r)}}\log(n)\right\rfloor } верно, что ( x + a ) n ≡ x n + a ( mod x r − 1 , n ) {\displaystyle (x+a)^{n}\equiv x^{n}+a{\pmod {x^{r}-1,\;n}}} , вернуть «простое».