Попробуйте расписать доказательство подробнее, может быть станет понятнее, где там используется диагональный метод.
Рассматриваем диагональ таблицы,где строки таблицы-нумерация значений 1 аргумента ,столбцы-значение второго аргумента. Затем изменяем последовательность на диагонали
во всех точках. Сначала меняем значения
там, где d определена , затем, пользуясь предположением,
меняем значения во всех точках, где d не определена.
Затем рассматриваем строку, в которой располагается получившаяся последовательность
значений функции.