Original: PCP theorem, a theorem in computational complexity theory
Simplified: PCP theorem, an important proof in computational complexity theory