Let n be a positive integer. Define ∼ on Z by x∼y if and only if n∣x−y. Show that ∼ is an equivalence relation.