% References cited in https://agora.t9k.dev/t/161/the-higher-dimensional-erd-s-distinct-distances-conjecture