theorem Th46: :: TREES_9:46

for T being finite-branching Tree
for n being Nat holds T -level n is finite