Изменения

<math>L \in DTIME(g)</math>, так как можно просимулировать машину Тьюринга <math>m_1\,\!</math> такую, что <math>L(m_1)=L\,\!</math>. Для каждой пары <math><m_3m_2,x> \in L</math> рассмотрим <math>m_3m_2(<m_3m_2,x>)\,\!</math>. Если <math>m_3m_2\,\!</math> завершила работу и не допустила, то <math>m_1\,\!</math> допускает <math><m_3m_2,x>\,\!</math>. В другом случае не допускает. Так как любая такая машина работает не более <math>f(|<m_3m_2,x>|)\,\!</math> времени, а <math> \lim_{n \rightarrow \infty} t(f(n))/g(n) = 0</math>, <math>m_1\,\!</math> будет работать не более <math>g(|<m_3m_2,x>|)\,\!</math> времени.