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