Con Cuatro Alcanza / Four is Enough (La Otra Escalera / The Other Stair) (Spanish Edition)

The "Theorem of Four Colors" states that any geographical map can be colorized using only four colors, without any neighboring country sharing the same shade.  Besides exploring what a theorem is, this book establishes that, back in the seventies, the "Theorem of Four Colors" was first developed by a computer.