Liczby boków dla wszystkich wielokątów foremnych dających się skonstruować cyrklem i linijką, mniejsze od tysiąca:3=20×34=225=20×56=21×38=2310=21×512=22×315=20×3×516=2417=20×1720=22×524=23×330=21×3×532=2534=21×1740=23×548=24×351=20×3×1760=22×3×564=2668=22×1780=24×585=20×5×1796=25×3102=21×3×17120=23×3×5128=27136=23×17160=25×5170=21×5×17192=26×3204=22×3×17240=24×3×5255=20×3×5×17256=28257=20×257272=24×17320=26×5340=22×5×17384=27×3408=23×3×17480=25×3×5510=21×3×5×17512=29514=21×257544=25×17640=27×5680=23×5×17768=28×3771=20×3×257816=24×3×17960=26×3×5 Twierdzenie Gaussa-Wantzela – twierdzenie geometrii euklidesowej, które mówi, że -kąt foremny daje się skonstruować za pomocą cyrkla i linijki, jeżeli jest liczbą postaci gdzie są różnymi liczbami pierwszymi Fermata. Jak dotąd (2019) znane jest tylko 5 liczb pierwszych Fermata: i nie wiadomo, czy jest ich więcej.
We wzorze: w szczególności może być: Wtedy a to oznacza, że nie występuje w nim ani jedna liczba pierwsza Fermata i wzór redukuje się do: boków. To ostanie mówi, że wielokąty o liczbie boków będącą potęgą dwójki są konstruowalne za pomocą cyrkla i linijki.
Gdy to redukuje się do: i twierdzenie obejmuje także niektóre wielokąty o nieparzystej liczbie boków.