theorem Th28: :: TREES_2:28

for W being Tree
for C being Chain of W ex B being Branch of W st C c= B