theorem :: TREES_1:47

for fT being finite Tree
for t being Element of fT holds height (fT | t) <= height fT