Proof Using Segment Congruence