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

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