Maybe you meant: pythagorean_theorem