Proof of Angle Bisector Theorem