How surprising it must have been, after two thousand years of straightedge-and-compass constructions, to learn that any point constructible by straightedge and compass can also be constructed with a compass alone. You do not need the straightedge. This is the content of the Mohr–Moscheroni theorem, proved by Georg Mohr in 1672 and rediscovered by Lorenzo Moscheroni in 1797.
