This is a screenshot for the software Maps coloring. This software help you find a very simple pencil and paper proof of the four color problem.