Proved appears_in_tree_when_appears_in_subtree_and_found.