  In this short writing we prove that the set of m-dissimilarity vectors of
n-trees is contained in the (m,n)-tropical Grassmannian, answering a question
of Pachter and Speyer. We do this by proving a generalization of an equivalent
conjecture proposed by Cools.
