Si la HGR es verdadera, entonces se garantiza que el algoritmo de Shanks-Tonelli corre en tiempo polinómico.