Implementando Miller-Rabin do livro