Time Hierarchy Theorem


 * Deterministic Time Hierarchy Theorem
 * Non-deterministic Time Hierarchy Theorem