Text this: Des Proklus Diadochus philosophische Anfangsgrunde der Mathematik