Oración 1: por la Proposición 3.2.6, para todo M ∈ Max(A) tenemos que (Cf )M es un DIP
Oración 2: (Cf )M es integralmente cerrado
Conector: por lo tanto
Relación: reasoning
Género: theses