Miller – Rabin-testen bruger denne egenskab på følgende måde: givet {{Math|1=''p'' = 2<sup>''s''</sup> ''d'' + 1}}, med {{Mvar|d}} ulige, et ulige heltal, for hvilket primalitet skal testes, vælg tilfældigt {{Mvar|a}} sådan, at {{Math|1 < ''a'' < ''p''}} ; derefter beregne {{Math|1=''b'' = ''a''<sup>''d''</sup> mod ''p''}} ; hvis {{Mvar|b}} ikke er 1 eller −1, så firkant det gentagne gange modulo {{Mvar|p}} indtil du får 1, −1 eller har kvadreret {{Mvar|s}} gange. Hvis {{Math|''b'' ≠ 1}} og −1 ikke er opnået, er {{Mvar|p}} ikke prime. Ellers kan {{Mvar|p}} være prime eller ej. Hvis {{Mvar|p}} ikke er primær, er sandsynligheden for, at dette bevises ved testen, større end 1/4. Derfor er {{Mvar|p}} ikke er prime {{Mvar|k}} ikke-endelige tilfældige tests {{Math|(3/4)<sup>''k''</sup>}} og kan således gøres så lavt som ønsket ved at øge {{Mvar|k}} .
Matematik Matematiske_sætninger