What Greek mathematician is credited with creating the theorem of the sum of the squares of the lengths of the sides of a right triangle is equal to the square of the length of the hypotenuse?