7-1 The Pythagorean theorem