Y by Amir Hossein, Smoothy, Vietjung, Adventure10, Mango247, and 2 other users
The vertices of a connected graph cannot be coloured with less than
colours (so that adjacent vertices have different colours).
Prove that
edges can be removed from the graph so that it remains connected.
V. Dolnikov
EDIT. It is confirmed by the official solution that the graph is tacitly assumed to be finite.

Prove that

V. Dolnikov
EDIT. It is confirmed by the official solution that the graph is tacitly assumed to be finite.