El siguiente resumen está basado en el libro "Every Planar Map is Four Colorable" de Appel y Haken publicado en 1989.