Si fuese posible probar que se encuentra en cualquiera de estas dos últimas, eso implicaría que NP = co-NP.