What is the definition of the Pythagorean Theorem?