Regular Heptagon is Smallest with no Compass and Straightedge Construction/Proof 2

Proof
A theorem states that "The n-gon is constructible by compass and straightedge construction if and only if $n = 2^kn_0$, with $k \in \mathbb{Z}_{\geq0}$ and $n_0$ the product of any number of distinct Fermat primes. Note that 3 and 5 are both Fermat primes so their respective n-gon are both constructible; and $4$ is just a power of $2$ so the 4-gon also constructible. Lastly, since 6 is the product of 2 and 3, the 6-gon is constructible as well. Hence, we remain with 7, which does not satisfy the theorem's criteria; and thus the 7-gon is the smallest regular polygon that cannot be constructed using a compass and straightedge construction.