Wäre das regelmäßige 9 {\displaystyle {}9} -Eck konstruierbar, so müsste nach Fakt φ ( 9 ) {\displaystyle {}{\varphi (9)}} eine Zweierpotenz sein. Es ist aber φ ( 9 ) = 2 ⋅ 3 = 6 {\displaystyle {}{\varphi (9)}=2\cdot 3=6} .
