Es decir que (x-y) y (y-z) están en I.