theorem Th26: :: TREES_2:26

for W being Tree
for B being Branch of W holds {} in B