Ο σχολιασμός από τον Πρόκλο του έργου «Αριθμητική εισαγωγή» του Νικομάχου, μέσω της διασκευής του Ιωάννη Φιλόπονου (η οποία συντέθηκε με πρότυπο το χαμένο σήμερα έργο του Πρόκλου).