https://9dok.org/document/q2n9d91r-mean-width-simplices.html