Cuando formula_14 no está en la clase de isotopía de la identidad