Legyen n\gt 9 egy tetszőleges páratlan egész szám. Ha n összetett, akkor a modulo n redukált maradékosztályoknak legalább a háromnegyede Miller-Rabin-tanú.