Proclus's Commentary on the First Book of Euclid's Elements
(in Greek, edited by Gottfried Friedlein, 1873)