theorem :: TREES_1:2

canceled;