On the Eternity of the World against Proclus