theorem Th49: :: TREES_9:49

for T being finite-branching Tree st not T is finite holds
ex B being Branch of T st not B is finite