First derive a formula for post(v) - pre(v).