Source: /wikibot/pcp-theorem

= PCP theorem
{wiki=PCP_theorem}