Proof of Congruent Segments