theorem Th18: :: TREES_1:19

for x being set
for T being Tree st x in T holds
x is FinSequence of NAT