the easiest way to prove the four colour map theorem