Множество простых вида 4n-1

[Руст]

В принципе таким образом можно доказать бесконечность простых чисел, имеющих вид 1(mod m) или -1(mod m) для любого натурального m. В первом случае надо брать норму числа $P+exp(\frac{2\pi i}{m})$ в соответствующем круговом расширении Q. Во втором случае, кажется подходит норма действительной части этого числа в максимальном действительном расширении в круговом расширении.

[ИСН]

Это часом не стоит ли рядом с доказательством теоремы Дирихле, частным случаем которой является вся тема?