where the Fi's are the subtrees of v. Now let