tree ((elementary_tree 0),(elementary_tree 0)) = elementary_tree 2