Notes that the lemma is true for all trees.