A multidimensional generalization of Heilbronn's theorem on the average length of a finite continued fraction | Synapse