How was the Four Colour Theorem proved?
How can the four-colour theorem which states that no more than four colours are required to colour the separate regions on the map be proven?