Tait coloring and the Four Color Theorem.
https://prideout.net/blog/tait_coloring/