Метод спуска к решению диофантовых уравнений x^2+by^2=m. Аналоги теорем Вильсона и Лейбница.