theorem Th52: :: TREES_3:52

tree {} = elementary_tree 0