Minor correction: This was publish in 1982[1] and was transcribed from a PDF in 2009[2]. [1] https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD648.PDF https://www

Minor correction: This was publish in 1982[1] and was transcribed from a PDF in 2009[2]. [1] https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD648.PDF https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD648.PDF [2] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD648.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...