De_Bruijn–Erdős_theorem_(graph_theory) loading ...