Many of them thought that it could be proven from the other simpler axioms. Those who tried to do it included Omar Khayyám, and later Giovanni Gerolamo Saccheri, John Wallis, Lambert, and Legendre. Some mathematicians announced that they had proven the proposition from the simpler propositions, but they all turned out to be mistaken.