Paragraph

\(7\) colors. Thus \(K_7\) is not planar (by the contrapositive of the Four Color Theorem).

in-context