En algunos textos, se denota por formula_615 al cuerpo formula_612.