Premisa: por lo tanto si x ∈ A, podemos escribir de manera única x = πnu donde n ∈ Z y u es una unidad
Hipótesis: podemos definir una valuación para elementos de A como ν(x) = ν(π)n que se extiende naturalmente a K = Quot(A)
Conector eliminado: por lo tanto
Etiqueta del conector: reasoning
Etiqueta humana (mayoría): entailment