Premisa: 2) para estos valores de n existe b, una raiz primitiva módulo n
Hipótesis: que para algún b tal que (b, n) = 1, el mı́nimo h tal que ah ≡ 1(mod n) es φ(n)
Conector eliminado: es decir,
Etiqueta del conector: entailment
Etiqueta humana (mayoría): entailment