Did the final helper lemmas for appears_in_subtree_when_appears_in_tree_and_found