Demonstration of the first Pythagorean Identity.