Moreover, the same holds for each subgraph of GY . Hence GY
+ has at most 4n−6 edges and minimum degree at most seven.
Thus GY
+ is 7-degenerate and there is a sequence w|E|, . . . ,w|X|−1 of its vertices in which every vertex has at most seven
neighbours behind itself.