24.17. Tétel
Miller-Rabin-nemtanúk a Hn halmazban
Legyen n\gt 1 tetszőleges páratlan egész szám, H_n pedig a 24.16. Tételben bevezetett részcsoport. Jelöljük továbbá G_n-nel az n-hez tartozó Miller-Rabin-nemtanúk halmazát. Ekkor:
G_n\sube H_n
♣
24.17. Tétel
Legyen n\gt 1 tetszőleges páratlan egész szám, H_n pedig a 24.16. Tételben bevezetett részcsoport. Jelöljük továbbá G_n-nel az n-hez tartozó Miller-Rabin-nemtanúk halmazát. Ekkor:
♣