theorem :: TREES_1:51

elementary_tree 1 = {{},<*0*>}