Proof:
This can be proved by showing any point on the preimage is translated a distance twice that of the distance between the lines:
Suppose the distance between the parallel lines is d, and consider a point P on the preimage. If P is a distance x from l1, then its image P' upon reflection in l1 is a distance x on the other side of l1, and is therefore a distance d – x from l2. When P' is reflected in l2, then its image Q is a distance d – x on the other side of l2. The distance from P to Q is equal to the distance from P to l1 plus the distance from l1 to P' plus the distance from P' to l2 plus the distance from l2 to Q: PQ = x + x + d – x + d – x = 2d.