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

Сдать: для сдачи задач необходимо войти в систему