手続き型言語でいうところのスコープが違うからじゃない？
x=3 のスコープは狭くて、次の問題では平気で x = 2 とされるかもしれない。
x^2 - 6x - 9 = (x-3)^2 のスコープはもう少し広い（可換環一般）と。

数学的に言えば x が自由変数か束縛されているかというような違い。
（∀x なのか∃xか）。