de Bruijn-Erdős theorem