La última condición equivale a decir que formula_174 es la gráfica formula_175 de formula_176.