尺规好像是作不了正7边形的
7有一个性质很特殊，其它的素数都没有:
模7的非零剩余中，二次剩余是1, 2, 4, 二次非剩余是3, 5, 6
其中任意两个不同二次剩余相加是一个二次非剩余，任意两个不同二次非剩余相加是一个二次剩余
7也是第一个6k+1形素数和第一个8k-1形素数，第一个满足p整除[(p-1)/2]! +1 的素数

我认为是因为，越小的数，越容易具有特殊性质。
假如我想出了一个性质P。它值得关注，那么P的叙述里只应该出现不太大的数，例如“1:x=x:(1-x)”比较合适，“14159:x=x:(26535-x)”就不太合适。
这样，解出来的数就不会太大。