Oración 1: esto implica que p|Q o p|Uδ(n)−2: Si p|Uδ(n)−2 entonces, por definición de Uk, p va a dividir a todos los Uk con k < δ(n), lo cual es falso si k = 1
Oración 2: si P |Tδ(n)−1(P ) tenemos que p|Q
Conector: por lo tanto
Relación: reasoning
Género: theses