Proofs Using Definition of Bisect