These results are sometimes also called PCP theorems because they can be viewed as probabilistically checkable proofs for NP with some additional structure.
Ці результати інколи самі називаються PCP теоремами, оскільки їх можна розглядати як ймоврінісно перевірюване доведення для NP з деякою додатковою структурою.