euclid's proof of pythagorean