The De Bruijn–Erdős theorem is a result in graph theory concerning the existence of graphs with certain properties. Specifically, it addresses the conditions under which a graph can be constructed with a prescribed degree sequence and certain independence properties.