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