Oración 1: sin embargo, aunque en teoría es útil y fácil de verificar, generar un certificado de Pratt para "n" requiere factorizar "n"−1 y otros números potencialmente grandes
Oración 2: simple para algunos números especiales como los números de Fermat, pero actualmente es mucho más difícil que una simple prueba de primalidad para números primos grandes de forma general
Conector: esto es
Relación: entailment