La explicación de esto radica en que formula_59 tal que n y m pertenecen a los naturales y p pertenece al conjunto de los números primos, esto significa que si un número natural es de la forma formula_60 solo basta recorrer(e ir dividiendo) por los números primos que son de su misma formaformula_60 para tener la certeza de que es o no es un número primo, ahorrándonos mucho tiempo en el algoritmo de búsqueda(no necesito dividirlo por los números primos de la forma formula_62).