A=B,B=C ⇔ A=B,A=C ⇔ A=C,B=C