ya que el ideal formula_94 es el núcleo del morfismo formula_95, claramente este es un morfismo suprayectivo, se sigue del primer teorema de isomorfismo que son campos isomorfos.