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

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