Для доказательства независимости значения переменной от переменной b, заметим, что значение переменной $b+5$^3 - b$b-5$^2 - 25$1+b$^2 можно упростить до функции одной переменной с помощью алгебраических преобразований.

$b+5$^3 - b$b-5$^2 - 25$1+b$^2 = b^3 + 15b^2 + 75b + 125 - b$b^2-10b+25$ - 25$1+2b+b^2$ = b^3 + 15b^2 + 75b + 125 - b^3 + 10b^2 - 25b - 25 - 25 - 50b - 25b^2
= -40b - 75.

Таким образом, значение данного выражения -40b - 75 не зависит от переменной b, что и требовалось доказать.