Es fácil verificar que formula_44 es un subgrupo de formula_1 (de ahí el nombre de grupo).