theorem :: TREES_1:53

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