De Bruijn–Erdős theorem (graph theory) | Hacker News Reader