Added proof for hierarchical result
clarified proof