He conceived the first proof that the 17-sided polygon is constructible.

• 他构思了17边形可以作图的第一个证明。