De manera que PSPACE = NPSPACE.