Oración 1: n 2 (n−1) Ahora, si (Q) = −1 entonces como n es epsp(Q), Q 2 ≡ −1(mod n) y (21) queda n aśı: U δ(n) V (n+(n)) ≡ 2(n)(mod n)
Oración 2: n - U δ(n) y de (22) obtenemos que 2 2 2 n|V δ(n)
Conector: por lo tanto,
Relación: reasoning