תהא f:N + פונקציה ישימה במקום וסופר-לינארית (כלומר, לכל n , f(n) n). נגדיר את השפה הבאה:

תהא $f:\mathbb{N}\to\mathbb{N}^+$ פונקציה ישימה במקום וסופר-לינארית (כלומר, לכל $n\in\mathbb{N}$, $f(n)\ge n$). נגדיר את השפה הבאה: $S_f=\left\{\langle M\rangle \mid M\ rejects\ \langle M\rangle\ \ and\ \ space_M(\langle M\rangle)\le \frac{f(|\langle M\rangle|)}{\lg(|\Gamma_M|)}\right\}$ כאשר $M$ מכונת הכרעה (כלומר, מכונת טיורינג שעוצרת במצב מקבל או דוחה או שלא עוצרת), ו-$\Gamma_M$ הוא א"ב העבודה שלה. נתבונן במכונה הבאה $\widehat{M}$: קלט: $\langle M\rangle$ כך ש-$M$ מכונת הכרעה עם א"ב עבודה $\Gamma_M$

1. נחשב את הפונקציה $\frac{f(|\langle M\rangle|)}{\lg(|\Gamma_M|)}$ באונרי ונאתחל מונה בערך זה.
2. נבצע סימולציה של $M$ על הקלט $\langle M\rangle$ בדומה למכונה האוניברסלית, כאשר בכל צעד שבו $M$ כתבה במקום חדש בסרט, נקטין את המונה ב-1. אם המונה ירד מתחת ל-0 – נעצור מיד ונדחה.
3. נענה הפוך מ-$M$ (כלומר: אם קיבלה – נדחה, ואם דחתה – נקבל.) הוכיחו או הפריכו את הטענות הבאות: א. טענה 1: $\widehat{M}$ מכריעה את $S_f$. (10 נק') ב. טענה 2: לכל מכונת הכרעה $M$, $space_{\hat{M}}(\langle M \rangle) = O\!\left(f(|\langle M \rangle|)\right)$. (10 נק')