Talk:De Bruijn–Erdős theorem