The Four-Color Theorem: History, Topological Foundations, and Idea of Proof