Пусть уменьшаемое равно x, разность равна y, а вычитаемое равно z.

У нас дано условие: x > y + 4

Также известно, что разность равна уменьшаемому минус вычитаемому: y = x - z

Подставим это в первое уравнение:

x > x - z + 4

Переносим переменные:

z > 4

Таким образом, вычитаемое должно быть больше 4.