Entonces, formula_361 es un subcuerpo de formula_4.