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