Поиск выдал такую
картинку. На ней утверждается, что в формулировке "Большой теоремы Ферма" указан лишь общий вид уравнения, соединяющий между собой тройку чисел. Но доказательство теоремы предполагает не только решение этого общего вида одного уравнения, но и конкретизацию двух вариантов этого уравнения с получением четверки чисел, упакованных в две возможные тройки.
То есть, недостаточно задать два любых целых числа с рассмотрением целочисленности третьего числа, получаемого по заданному алгоритму. Надо еще и рассмотреть целочисленность четвертого числа, полученного по этому же алгоритму из двух этих же заданных.
Получается, что при доказательстве теоремы надо, вначале, общий вид уравнения разложить на два возможных варианта?