theorem :: TREES_1:41

for fT being finite Tree holds 1 <= width fT