Oracles exist relative to which P=NP and others relative to which P≠NP, showing the claim's proof mu...