"It is well known that the commentary of Proclus on Eucl. Book I is one of the two main sources of information as to the history of Greek geometry which we possess, the other being the Collection of Pappus."