[8.462] Ἀλλ' εἴπερ τὰ πρός τι ἀνύπαρκτά ἐστι, πάντως καὶ ἡ ἀπόδειξις τῶν πρός τι οὖσα ἀνύπαρκτος γενήσεται˙ τὰ δέ γε πρός τι δέδεικται ἀνύπαρκτα˙ καὶ ἡ ἀπόδειξις 〈ἄρα〉 τῶν ἀνυπάρκτων γενήσεται.