Which rigid motion will verify that triangle ABC is congruent to triangle A^'B^'C^'?
a) Translation (x, y) -> (x - 4, y - 1)
b) Reflection over the x-axis
c) Reflection over the y-axis
d) Rotation of 180°