for Z being finite Tree st branchdeg (Root Z) = 0 holds
( card Z = 1 & Z = {{}} )