El segundo lo podemos extraer de las propiedades de cuerpo de K, esto es, que si tenemos formula_8, con formula_9, entonces formula_10.