Proof of bisection

Proof of bisection