Proclus: A Commentary on the First Book of Euclid's Elements