Fix claim about theoretical difficulty of NP problems