Which of the ancient Greek philosophers was a mathematician who created a theorem, bearing his name, regarding the three sides of a right triangle?