Esto es contractivo si formula_15 o equivalentemente para tener igualdad si formula_16.