Construction of Regular 257-Gon/Historical Note

Historical Note on Construction of Regular $257$-Gon
It was proved by in $1801$ that the construction is possible.

The first actual constructions of a regular $257$-gon were given by in $1822$ and  in $1832$.