The Four-Color Theorem of Map-Making Proved by Construction