Euclids Elements 47 Pythagorean Theorem