transitive property of equality of X,Y and ZZ ​