Dadas dos categorías formula_1 y formula_44, diremos que formula_112 es: