There exists recursive oracle A out of NP such that P = NP equals PA = NPA.

• 存在着在NP类之外的递归集A；使得P=NP等价于P~A=NP~A.