Como corolario, se tiene que PSPACE = NPSPACE.