Makes theorem more specific.
Updates to correct version of paper containing PCP Theorem.