Para probar esto, supóngase que formula_397 y formula_398 son dos funciones inversas de una función formula_16.