“Extracts... made by Proclus indicate that Ptolemy did not regard the parallel-axiom of Euclid as self-evident, and that Ptolemy was the first of the long line of geometers from ancient time down to our own who toiled in the vain attempt to prove it.”