Congruent Line Segments Have The Same Length