Supongamos que tal subcuerpo existe y que lo denotamos por formula_10.