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 agraph can be constructed with a prescribed degree sequence and certain independence properties.