Изменения

<tex>L \in DTIME(g)</tex>. Возьмеме такую машину Тьюринга <tex>m_1\,\!</tex>, которой дается на вход пара <mathtex><\langle m_2,x> \rangle \in L</mathtex> и она симулирует нужное количество шагов машины <tex>m_2\,\!</tex> на входе <tex>x\,\!</tex>. Если <tex>m_2\,\!</tex> завершила работу и не допустила, то <tex>m_1\,\!</tex> допускает <tex><\langle m_2,x>\rangle \,\!</tex>. В другом случае не допускает. <tex>L(m_1) = L</tex> и <tex>m_1\,\!</tex> будет работать не более <tex>g(|<\langle m_2,x>\rangle |)\,\!</tex> времени.

Получается, что <tex>L \in DTIME(g(n)) \setminus DTIME(f(n))</tex> и <tex>L \neq \emptyemptyset</tex>. Следовательно, <tex>DTIME(g(n)) \neq DTIME(f(n))</tex>