Изменения

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