Did You Know?

Any map can be colored with just four colors without adjacent regions sharing colors.

The Four Color Theorem was the first major theorem proved using a computer. This demonstrates how some mathematical truths require computational assistance to verify.