theorem Th13: :: MODAL_1:18

for Z being finite Tree st branchdeg (Root Z) = 1 holds
succ (Root Z) = {<*0*>}