Probaremos que x ∼ y ⇔ x ∼ y.