The PCP Theorem has an equivalent formulation from the point of view of proof checking. The PCP theorem states that every NP-statement has a probabilistically checkable proof, i.e. a proof which levitrao.com online apotheke levitra