theorem Th20: :: TREES_2:20

for W being Tree holds {{}} is Chain of W