pythagorean theorem (proof)