The Harmony of Plato and Aristotle in Proclus