В монографии Сингха "Великая Теорема Ферма" указано, что в 1749 году, после семи лет работы и почти через сто лет после смерти Ферма, Эйлеру удалось доказать это замечание Ферма о простых числах, однако мы нигде не нашли доказательство Эйлера этого замечания Ферма о простых числах. Поскольку это утверждение является, очевидно, бинарным, то мы его также легко доказали с использованием нашей аксиомы спуска [1].
1. Кочкарев Б. С. "К методу спуска Ферма" . Проблемы современной науки и образования. №10(23), 2015, с. 6-8.