theory of planar graphs 6178652