add Pythagorean theorem