theorem :: TREES_1:45

width (elementary_tree 0) = 1