Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Euler ist Zweierpotenz/Fakt

Es sei ${}n$ eine natürliche Zahl derart, dass das regelmäßige ${}n$ -Eck konstruierbar ist.

Dann ist ${}{\varphi (n)}$ eine Zweierpotenz.