### The Central Result

This is the concluding post in this series and we aim to prove the following result (proved in part by Gauss and finally the converse by Wantzel):**A regular polygon of $ n, n > 2$ sides can be constructed by Euclidean tools if and only if $ \phi(n) = 2^{k}$.**