正n角形は作図可能⇔n = 2^m * (相異なるFermat素数の積)　(Gauss)

この定理はいつ使うのでしょうか？
ふつうに1の原始n乗根を添加した体のGalois群を求めるほうが早いのでは？