(I.10) Bisect a Line, Proof