Graphs, Colourings and the Four-Colour Theorem