Quitando módulos innecesarios en miller_rabin