"Among the early postulate demonstrators there stands a unique figure that of a Jesuit Gerolamo Saccheri, a contemporary and friend of Ceva. This man devised an entirely different mode of attacking the problem, in an attempt to institute a reductio ad absurdum. At that time the favourite starting-point was the conception of parallels as equidistant straight lines, but Saccheri, like some of his predecessors, saw that it would not do to assume this in the definition. ...Saccheri keeps an open mind, and proposes three hypotheses: (1) The Hypothesis of the Right Angle. (2) The Hypothesis of the Obtuse Angle. (3) The Hypothesis of the Acute Angle. The object of his work is to demolish the last two hypotheses and leave the first, the Euclidean hypothesis, supreme; but the task turns out to be more arduous than he expected. He establishes a number of theorems, of which the most important are the following: If one of the three hypotheses is true in any one case, the same hypothesis is true in every case. On the hypothesis of the right angle, the obtuse angle, or the acute angle, the sum of the angles of a triangle is equal to, greater than, or less than two right angles. ... Saccheri demolishes the hypothesis of the obtuse angle in his Theorem 14 by showing that it contradicts Euclid I. 17 (that the sum of any two angles of a triangle is less than two right angles); but he requires nearly twenty more theorems before he can demolish the hypothesis of the acute angle, which he does by showing that two lines which meet in a point at infinity can be perpendicular at that point to the same straight line. In spite of all his efforts, however, he does not seem to be quite satisfied with the validity of his proof, and he offers another proof in which he loses himself, like many another, in the quicksands of the infinitesimal. If Saccheri had had a little more imagination and been less bound down by tradition, and a firmly implanted belief that Euclid's hypothesis was the only true one, he would have anticipated by a century the discovery of the two non-euclidean geometries which follow from his hypotheses of the obtuse and the acute angle."