The idea is to visualize how the equivalence relation of congruence modulo induces a partition on . You can see how the first natural numbers relate to the rest after the dividing by . Also, notice that the number of connected components of the graph is nothing but the number of classes, which is the number of elements in .