# Proof: PTIME not equal EXPTIME [closed]

Can someone give me the name of a paper where this is proved or maybe just prove it here (if it's easy enough)?