Euclid's proof of the Pythagorean Theorem