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, generates a bijection between the edges of G and the numbers modulo k by taking the edge label for an edge ab to be...