theorem :: TREES_1:42

height (elementary_tree 0) = 0