Repeat: The time and space hierarchy theorems form the basis for most separation results of complexity classes.
The time and space hierarchy theorems form the basis for most separation results of complexity classes.