Let's also add a link to the handwritten version for good taste:

https://www.cs.utexas.edu/~EWD/ewd08xx/EWD831.PDF