In primum Euclidis elementorum librum commentarii - Proclus, Diadochus (1873)