Hypotypōseis - Proclus Diadochus 412-485 (1820)