DTIME задовольняє теорему про ієрархію часу, тобто асимптотично більші проміжки часу завжди створюють строго більші набори проблем.
Виправте відсутність зв'язності в реченні: DTIME задовольняє теорему про ієрархію часу. Що асимптотично більші проміжки часу завжди створюють строго більші набори проблем.