De Bruijn–Erdős theorem