Чтобы доказать, что значение выражения не зависит от переменной, надо показать, что результат остается постоянным независимо от её значения, например, упростив выражение до константы или подставив разные значения переменной, получив одинаковый результат.