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