section 6 proofs
Merge branch 'master' of https://github.com/csesha/contour-tree
proof in Section 7