Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/n ist p^e/e ist 1/Fakt

Es sei eine ungerade Primzahl. Es sei vorausgesetzt, dass das regelmäßige -Eck konstruierbar sei.

Dann ist .