Yes, indeed, a proof proves what it proves.

You confuse spec and proof.