Oración 1: la dificultad surge en el algoritmo de suma de curvas elípticas, que toma inversas en el campo que pueden no existir en formula_4
Oración 2: se puede demostrar (lema 1 de "Casi todos los números primos se pueden certificar rápidamente") que si simplemente se realizan cálculos como si la curva estuviera bien definida y en ningún momento se intenta invertir un elemento sin inverso, el resultado sigue siendo válido; si aparece un elemento sin inverso, entonces esto significa que "n" es compuesto
Conector: sin embargo,
Relación: contrasting