^ July 15, 2026 by jlamprecht https://en.wikipedia.org/wiki/Metric_space#cite_ref-FOOTNOTEXia2008_45-0
