Pythagorean's theorem.