Proving that P is not equal to NP and that P is not equal to the intersection of NP and co-NP - R. A. Cohen (CoRR, 2005)