pythagorean theorem (theory)