Angle bisectors and proofs