Oración 1: por el Pequeño Teorema de Fermat tenemos que api−1 ≡ 1(mod pi) para todo a tal que (a, n) = 1
Oración 2: tenemos que, an−1 ≡ (api−1)ki ≡ (1)ki ≡ 1 ≡ api−1(mod pi)
Conector: por lo tanto
Relación: reasoning
Género: theses