Skip to main content

Four-color problem.