Probaremos que formula_361 es un subcuerpo de formula_4.