Pythagorean's theorem