"Hippocrates of Chios... the most famous mathematician of his century... is credited with the idea of arranging theorems so that later ones can be proven on the basis of earlier ones, in the manner familiar to us from... Euclid. He is also credited with introducing the indirect method of proof into mathematics. His text on geometry, called the Elements, is lost."