PSPACE = ∪
k
> 0
SPACE(
n
k
).