Four colors suffice. Short proof

Terms 1 : A region is a submap, as in R ⊆ M . A country, as in C ∈ M and possibly C ∈ R i , is an atomic element of a map. The ...