An identity of hitting times and its application to the valuation of guaranteed minimum withdrawal benefit — arXiv2