Luego, por la proposición de subcuerpos, tendremos que formula_635.