How do i prove the characterization of the internal angle bisector theorem: Let (P) be in the interior of an angle with arms L1 and L2 then (P) is on the angle bisector if and only if d(P,L1) = d(P,L2)