four colour map problem