RE: Dijkstra's proof of the Pythagorean Theorem