The Pythagorean identity