The complexity class NP may be viewed as a very simple proof system.
In the case where a valid proof certificate exists, the prover is always able to make the verifier accept by giving it that certificate.