Oración 1: por la proposición siguiente tenemos que ∀M ∈ Max(Cf ), (Cf )M es un DIP, lo cual nos dice que M(Cf )M es principal
Oración 2: dado un punto (a, b) ∈ Zf el ideal maximal M(a,b) es principal, lo cual implica, por la Proposición 3.2.5 que (a, b) es un punto no-singular
Conector: por lo tanto,
Relación: reasoning
Género: theses