The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements To which are Added a History of the Restoration of Platonic Theology by the Latter Platonists, and a Translation from the Greek of Proclus's Theological Elements