Time Hierarchy Theorem

See:


 * Deterministic time hierarchy theorem
 * Non-deterministic time hierarchy theorem