Уважаемая
nekonyash! Вы неправильно трактуете мою лемму о безошибочности :
Запись #137091. Добавлено: 2017-01-17 2157В ней речь идёт о допущении
безошибочности всех предыдущих ходов.
Но никак не следующего хода! Да что Вы, как я могу утверждать безошибочность следующего хода - я что, волшебник?
Итак, перед решением 2-х альтернатив, согласно лемме, мы исходим из того, что ошибок во всех предыдущих ходах нет.
Поэтому, есть только
одно решение: либо первая альтернатива, либо вторая альтернатива.
Если неверна первая альтернатива, то верна вторая.
Если верна первая альтернатива, то вторая неверна, и её не стоит решать вообще, а продвигаться дальше.