ByNobleID
    A de Bruijn - Erd\H{o}s theorem and metric spaces | NobleID