pai miller rabin se bazeaza pe mica teorema a lui fermat. chestia e ca daca numarul iese ca fiind prim pentru cateva baze sunt sanse mici ca el sa fie de fapt compus si aici intervine optimizarea din miller rabin: daca atunci vand faci exponentierea logaritmica gasesti o radacina netriviala a lui 1 atunci numarul este cu siguranta compus chiar daca respecta conditia micii teoreme a lui fermat. de exemplu numarul 561 respecta conditia micii teoreme a lui fermat chiar daca nu este prim (se divide cu 3) dar daca iei numarul 67 ca baza si incepi sa faci exponentierea prima data va trebui sa faci 67^2 pentru ca 561 - 1 = 560 este par si observi ca (67^2) % 561 == 1 deci ai gasit o radacina netriviala a lui 1 deci numarul este compus