>>14243486>literally circular>polynomial in variable x, but inroducing a "real number" a>The attempted proof is just a restatement of the theorem.That "variable" is a placeholder for a real number. Second two functions f, and g are equal if f(a)=g(a) for all real numbers a. The use of an unspecified/"arbitrary" real number to perform the algebra according to the properties of addition and multiplication of real numbers is not circular. The proof is valid and correct.
>but a is not actually a real number, its just another variableA "variable" is an unspecified real number. You just fix x=1, x=e, x=3/2, etc. as needed for a numerical calculation.