Euclid's Proof of the Pythagorean Theorem