It has been shown that if these two complexity classes are not equal then P is not equal to NP.
What implication can be derived for P and NP if P and co-NP are established to be unequal?
P is not equal to NP