Hierarchical  division in the proofs in 3D