Space hierarchy theorem

ウィキペディアから