In platonis rem publicam commentarii by Proclus