theorem :: TREES_1:45
width (elementary_tree 0) = 1