Sumnaos, se tiene que (x-z) está en I, o sea que formula_30.