7-3 Pythagorean theorem