Kuratowski's theorem says that a graph is planar if and only if it does not have a subgraph that is homeomorphic to
K
3,3
or to
K
5
.