[WikiEN-l] Time hierarchy theorem

[Timwi]

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