Доказательство в HOL

[Anton (Anton Morgunov)]

@Aldiyar73

ему нужна помощь с решением этой задачи

@Anton

Но сразу скажем – если вы хотите просто узнать решение задачи, вам скорее всего у нас не понравится. Мы ждем, что вы напишите какие попытки решения вы предпринимали[1] и, если вы дошли до промежуточных значений, покажете эти значения. Взамен мы обещаем не просто сказать правильный ответ, а помочь понять почему эта задача решается именно так.