Oración 1: ahora como R(XF )/k̄(α) es finita, entonces α es trascendente sobre k̄, lo cual implica a su vez que k̄[α] es un anillo de polinomios
Oración 2: por la Propiedad 4.4.2 (ii), B es un dominio de Dedekind
Conector: por lo tanto,
Relación: reasoning
Género: theses