Let m and n be two parallel straight lines. Let AB be a line segment that first intersects m and then n, that is perpendicular to both m and n, and whose length is twice the distance between m and n. Then, ; the compositions of the two reflections is a translation.

Once again, I'm clueless as to proving this.