Oración 1: por la Proposición 4.4.3, B = ν (α)≥0 RP es la clausura integral de k̄[α]P en R(XF )
Oración 2: b es un dominio de Dedekind
Conector: por lo tanto
Relación: reasoning
Género: theses