Theorem
4.3.1
.
\(K_5\)
is not planar.
in-context