hierarchy segment theorem