Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements