"The attempts to derive the parallel postulate as a theorem from the remaining nine "axioms" and "postulates" occupied geometers for over two thousand years and culminated in some of the most far-reaching developments in modern mathematics. Many "proofs" of the postulate were offered, but each was sooner or later shown to rest upon a tacit assumption equivalent to the postulate itself. Not until 1733 was the first really scientific investigation... Gerolamo Saccheri received permission to print... Euclides ab omni naevo vindicatus (Euclid Freed of Every Flaw). ...Saccheri had become charmed with the powerful method of reductio ad absurdum and... easily showed... that if, in a quadrilateral... [base] angles... are right angles and [vertical] sides... are equal, then [ceiling] angles... are equal. Then there are three possibilities: [ceiling] angles are equal acute... equal right... or equal obtuse angles. The plan was to show that the assumption of either... the acute angle or... the obtuse angle would lead to a contradiction. ...Tacitly assuming the infinitude of the straight line, Saccheri readily eiliminated the hypothesis of the obtuse angle, but... After obtaining many of the now classical theorems of... non-Euclidean geometry, Saccheri lamely forced... an unconvincing contradiction."