n::::绘画的可能性.
二次同余论.formula_4是第五个费马数。高斯在1801年出版的『算术研究』中的「二次同余论」，证明了如果formula_5为费马数，则正formula_5边形是可以尺规作图绘出。此外反过来亦证明如果质数formula_5对应的正formula_5边形可以绘图的话，formula_5就是费马数。在高斯得出此定理之前，已知的费马质数只有3、5、17、257、65537。
绘图方法.虽然高斯证明了正65537边形绘图的可能性，不过没