Ну в смысле Гаусс вроде как раз доказал, что выражаются

-угольники и только они.
Захотелось взглянуть как именно он это доказал. Сразу нашлось:
Теорема Гаусса — Ванцеля
Построение с помощью циркуля и линейки
По второй ссылке посмотрел литературу. Везде теорема упоминается без доказательства. Дальнейшее «гугление» ничего не дало
Понятно, что простое число должно быть

, но вот откуда берется, что должно быть

? А с достаточностью совсем непонятки.
Добавлено спустя 15 минут 50 секунд:
Почему

, это я уже и сам понял. А вот с достаточностью все еще проблема.
Добавлено спустя 1 час 19 минут 37 секунд:
Вроде нашел первоисточник:
http://www.ega-math.narod.ru/Books/Gauss.htm