Conclusão da geração de provável primo através do Miller-Rabin.