23.8. Tétel

Miller-Rabin-szorzat

Legyenek adottak valamilyen tetszőleges e1e\geq 1 és k1k\geq 1 egész számok. Ekkor bármilyen aa egész szám esetén teljesül az alábbi összefüggés:

a2ek1=(ak1)(ak+1)(a2k+1)(a4k+1)(a2e1k+1)a^{2^e\cdot k}-1 = (a^k-1)\cdot (a^k+1)\cdot (a^{2k}+1)\cdot (a^{4k}+1)\cdot \ldots \cdot (a^{2^{e-1}k}+1)