Is this identity equivalent to the constant identity?

63 Views Asked by At

Let our signature be that of a single binary operation $*$. I define $*$ to satisfy the constant identity if $x*y=z*w$. But, I am interested in another identity, this one: $x*y=y*z$. I want to know if it is equivalent to the constant identity. I think it is, but I don't know how to prove it.