Уважаемый
vasili!
1. Логика простая: если бы удалось найти такое целое число

, что

делится на

, то мы получили бы противоречие.
Легко показать, что существование такого целого числа

эквивалентно ВТФ.
Проблема в том, что не видно как это можно показать.
2, 3. Сравнение

не выполняется, поскольку

делится на

, а

не делится на

(в случае 2 ВТФ). Поэтому мы не можем использовать теорему 1 для

.
4. Если

, что Вам непонятно в доказательстве теоремы 1?
5. Мы применили теорему 1 не к числам

и

, а к определённым нами числам

и

.