Any translation can be expressed as the composition of two reflections. [br][br]In the sketch below, triangle A'B'C' is the result of translating triangle ABC by vector v. Triangle A''B''C'' is the result of reflecting triangle ABC over m followed by n.[br][br]Play with the sketch, and decide how to compose [math]\sigma_m[/math] and [math]\sigma_n[/math] to produce a translation by dragging lines m and n until triangle A''B''C'' coincides with triangle A'B'C'. [br][br]Is the composition unique?