https://mathworld.wolfram.com/KuratowskiGraph.html
Kuratowski Graph -- from Wolfram MathWorld
Kuratowski's theorem states that every nonplanar graph contains either the utility graph UG=K_(3,3) or the pentatope graph K_5 as a homeomorphic subgraph. The...
kuratowski graphwolfram mathworld