theorem Th9: :: SCM_COMP:9

for t being Terminal of SCM-AE holds max_Data-Loc_in (root-tree t) = d". t