Wallis' proof of the Pythagorean Theorem