Teste de primitividade de Miller-Rabin