Kazimierz Kuratowski

Kazimierz Kuratowski was a graph theorist who proved that all nonplanar graphs contain a subgraph that, by joining edges that meet in points of degree 2, can be reduced to K₅ (a pentagram inside a pentagon) or K_3,3 (three odd points each of which is joined to all of three even points).