Oración 1: por lo tanto, por la Propiedad 4.4.2 (ii), B es un dominio de Dedekind
Oración 2: o por la Pro⋂posición 2.4.4 y por las afirmaciones a) y b) anteriores tenemos que B = ν(B)≥0 Rν = ν∈U Rν = R(Uα)
Conector: por lo tanto
Relación: reasoning
Género: theses