Pythagorean theorem. S607