Si la HGR es verdadera, entonces se puede asegurar que el test de primalidad de Miller-Rabin corre en tiempo polinómico.