Four_colour_theorem loading ...