four colour theorem further write-up, some figures created