In primum Euclidis elementorum librum commentarii - DIADOCHI, Procli (Georg Olms Verlag, 1992)