for fT being finite Tree holds 1 <= width fT