集合X上の反射的な関係Rが
∀x,y,z∈X:[(xRy∧yRz)⇒zRx]
を満たすならば、Rは同値関係であることを証明してくれませんか。お願いします。