Improve the cohesiveness in this text
DTIME satisfies the time hierarchy theorem. That asymptotically larger amounts of time always create strictly larger sets of problems.
DTIME satisfies the time hierarchy theorem, meaning that asymptotically larger amounts of time always create strictly larger sets of problems.