Văn bản này: Proklos über die Definitionen bei Euklid,