prove the Pythagorean theorem