Color outside the map, a short four-color map proof proposal

We generate all maps of size m + 1 by adding all valid new regions to all mapsof size m . Using four colors, we color a new region with colors different fromadjacent regions. We generate a set of all valid border colorings for each mapand decompose these into bundles of fiber sets, each associated with a uniquehandle, and show by complete induction that all fiber sets are colorable.