Por la generación del cuerpo de descomposición, formula_4 se obtiene esencialmente "adjuntando" los ceros de formula_119, como cada adjunción produce un cuerpo finito y hay una cantidad finita de tales adjunciones, se tiene que formula_4 es un cuerpo finito.