高斯同时还证明了边的数目为 2⁽²ⁿ⁾ + 1，且为质数的多边形，都可以通过尺规作图搞定（Constructibility）。

via