In their attempts of justifying Euclid's fifth postulate, Girolamo Saccheri and Johann Heinrich Lambert proved many theorems of non-Euclidean geometry. However, they were so convinced that the fifth postulate must be true that they stopped short of actually discovering the new geometry.