Despite the very classical nature of the problem it solves, there is some serious contemporary interest arising from recently proposed simplicial models for quantum gravity (cf. [1], [2]), in which such a formula is needed to approach the problem of length operators