Let 'm' be a given positive integer. Prove that the relation, Congruence modulo m' on the set Z of all integers defined by : `a equiv b(mod m) hArr (a-b)` is divisible by m is an equivalence relation.