Redirecting to Time hierarchy theorem