Search for tag: "9.5 proving two figures are congruent by putting one figure through a sequence of transformations to"