The 4-color theorem states that every map can be properly colored using at most 4 colors. This can be proven via a similar proof to the 6-color theorem. Essentially, the proof of the 6-color theorem is a proof in which we connect the states (using "states" just for pure convenience) by drawing dots from each of their capitals. Then we must just prove this for a graph of the map.