Pcp-Theorem