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.

Zum Beweis, Alternativen Beweis erstellen