Oración 1: falta ver entonces que, en efecto, 2d ≡ 1(mod N), pero 2n ≡ 1(mod 2n−1) y entonces 2d = 2nt ≡ 1(mod 2n−1)
Oración 2: n es un spsp(2)
Conector: en efecto
Relación: entailment
Género: theses