An injection from the vertices of a graph G to the group of integers modulo k, where k is the number of edges of G,...