Talk:De Bruijn–Erdős theorem (incidence geometry)