An illustration of the constructed graph in the proof for k = 2. We can see that the graph is not (2, 2)-colorable.