Text this: Procli Diadochi in primum Euclidis elementorum librum commentarii