9H - The Pythagorean identity