Construction of a regular 257-gon