Suponga que la lista de divisores dada es una lista de casi todos los divisores de algunos ~?~ (en otras palabras, suponga que la respuesta existe). Entonces el divisor mínimo multiplicado por el divisor máximo debería ser ~?~. Esto es cierto porque si tenemos un divisor ~?~ también tenemos un divisor ~\frac{n}{i}~. Ordenemos todos los divisores y dejemos \(? = ?_{1} ⋅ ?_{?}\).

Ahora tenemos que comprobar si todos los divisores de ~?~ excepto que ~1~ y ~?~ son una permutación de la lista ~?~ (verifique que nuestra respuesta sea realmente correcta). Podemos encontrar todos los divisores de ~?~ en ~? (sqrt(x))~, ordenarlos y compararlos con la lista ~?~. Si las listas son iguales, la respuesta es ~?~; de lo contrario, la respuesta es ~-1~.