Возник спор с модератором о строгости приведенного решения.
Привел формализованное доказательство.
Модератор не засчитывает задачу, утверждая, что и это доказательство не является строгим, впрочем, не приводя примеры нестрогих переходов.
Ссылка на обсуждение
http://www.braingames.ru/?path=privatedata...e=252&id=240961

Мне хотелось бы, чтобы либо были приведены ошибки/нестрогости утверждений,
либо, что етественно, задача была засчитана.