Pythagorean identity