From this we conclude that two points on the

-axis and separated by the distance 1 (relative to

) will be represented on our snapshot by the distance

But from what has been said, the two snapshots must be identical; hence

in (7) must be equal to