Construction of Regular Prime p-Gon Exists iff p is Fermat Prime

Theorem
Let $p$ be a prime number.

Then there exists a compass and straightedge construction for a regular $p$-gon $p$ is a Fermat prime.

Also see



 * Construction of Regular Heptadecagon