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