Найти в Дзене

Теорема. Для любого простого числа n, представимого в виде 4к -1 найдется квадрат, превосходящий n. Кочкарев Б. С.

Доказательство проводится с помощью аксиомы спуска.