Т.к. в результате преобразований получено выражение в виде целого числа и  не содержащее переменную величину b, то это значит, что значение выражения не зависит от b (разумеется, при всех b≠1 и b≠-1)

Что и требовалось доказать.