theorem Th12: :: MODAL_1:17

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