for a, b, x, y, z being object holds (a,b,b) --> (x,y,z) = (a,b) --> (x,z)