# Choose an arbitrary value

From CS2800 wiki

If your goal is to prove "for all , P", you can proceed by choosing an arbitrary value and then proving that P holds for that .

The fact that arbitrary does not mean you get to pick ; on the contrary, your proof should work no matter what you choose. This means you can't use any property of other than that .

is