Sea formula_443 un cuerpo con formula_47 elementos de característica formula_115, formula_115 primo, por lo que su cuerpo primo es formula_480.