Si P=NP, cualquier problema polinómicamente verificable sería polinómicamente decidible.