Изменения

'''Теорема о емкостной иерархии''' утверждает, что для любых двух конструируемых по памяти функций <math>f</math> и <math>g</math> таких, что <math> \lim_{n \rightarrow \infty} f(n)/g(n) = 0</math>, dsgjkyztncz выполняется <math>DSPACE(g(n)) \ne DSPACE(f(n))</math>.