Time hierarchy theorem

ウィキペディアから