Stav dette: Proklos über die Definitionen bei Euklid,