El problema de los cuatro colores. ProMath 1994, 8 (15-16), 47-57.