Pythagorean Demonstration