In Aristotelis Analyticorum Priorum Librum I Commentarium

Καὶ ὅτι τὸ μὲν καθόλου ἐκ τῶν καθόλου προτάσεων δείκνυται.

Δείξας, ὅτι ἐν παντὶ συλλογισμῷ δεῖ καθόλου τινὰ πρότασιν εἶναι, ὑπομιμνήσκει ἡμᾶς καὶ τοῦ ὅτι, εἰ καθόλου τὸ συμπέρασμα εἴη, δεῖ ἀμφοτέρας εἰλῆφθαι καθόλου τὰς προτάσεις· οὐ γὰρ ἄν ἄλλως γένοιτο τοῦ καθόλου συμπέρασμα. οὐ μὴν ἄν ὦσιν αἱ προτάσεις καθόλου ἀμφότεραι, ἤδη καὶ τὸ συμπέρασμα ἀνάγκη καθόλου εἶναι· γίνεται γάρ ποτε ἐπὶ μέρους συμπέρασμα καὶ ἐκ καθόλου προτάσεων, ὡς ἐπὶ τῶν ἐν τρίτῳ σχήματι ἐδείχθη.