Segment subtraction (three total segments): If a segment is subtracted from two congruent segments, then the differences are congruent. Angle subtraction (three total angles): If an angle is subtracted from two congruent angles, then the differences are congruent.
