Pythagorean theorem
Generalization of the Pythagorean theorem.