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 $\phi \left(n\right)$ eine Zweierpotenz.

Zum Beweis, Alternativen Beweis erstellen