Изменения

* Для любых вершин <tex>u, v \in T (u \neq v)</tex> верно ровно одно из следующих трех утверждений :

a) <tex>T(v) \subset T(u)</tex>

b) <tex>T(u) \subset T(v)</tex>

c) <tex>T(u) \cap T(v) = \emptyset </tex>

|proof=