http://mathworld.wolfram.com/Four-ColorTheorem.html