Claramente dos funciones formula_16 y formula_47 son iguales si y solo si