The Poncelet-Steiner theorem, conjectured by Jean Victor Poncelet in 1822 and proved by Jakob Steiner in 1833, asserts that indeed, any point constructible by straightedge and compass can be constructed by straightedge alone, given such an initial circle.

