Задача №111117. Доказательство в HOL

Олимпиада завершена. Режим дорешивания.
Сдать: для сдачи задач необходимо войти в систему