¿Cuál será el subcuerpo más pequeño de formula_17 que contenga a formula_16 y a formula_22?