Number Theory | Congruence and Equivalence Classes

We prove the congruence modulo n is an equivalence relation on the set of integers and describe the equivalence classes.