Math related to branch length estimation for Brownian motion continuous character evolution on unrooted phylogenies.