Hi,

this may seem like an odd request, but if there are any Computer Scientists here, especially Complexity Theorists, I am wondering if anyone could help me fill in the proof for the Time hierarchy theorem:

http://en.wikipedia.org/wiki/Time_hierarchy_theorem

I seem to be unable to find a proof for it elsewhere on the Internet.

Thanks, Timwi