The distance-sum characterization of regular simplices
Regular simplex conjecture. Then A1…An+1A_1\ldots A_{n+1}A1…An+1 are the vertices of a regular simplex.