Any way to define variables as constant?
I want to come up with a function that will return true when I compare $(x-1)^2+C$ and $x^2-2x+C$ where $C$ is an arbitrary constant. Any way that you know can do this ?