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