Segment congruence and length