die Aussage, daß unter schwachen Annahmen an die Funktion \begin{eqnarray}s(n)\ge \lceil \text{1d}(n)\rceil \end{eqnarray} die Klasse NSPACE(s(n)) (NSPACE) in der Klasse DSPACE(s(n)²) (DSPACE) enthalten ist.