Comment by someplaceguy

A theorem like that isn't provable (unless you're using some kind of nonstandard arithmetic).

You could only prove it if you add something else, e.g. a precondition saying that X = 30.