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