Πρῶτον μὲν οὖν, τῷ Β τὸ Δ ἕπεται, ἐνθένδε φανερόν.

Ἃ προέθετο, δείκνυσι. καὶ ὅτι γε τῷ Β τὸ Δ ἕπεται κειμένου ἕπεσθαι τῷ Γ τοῦ Α, οὕτως δείκνυσιν, ὡς εἴ γε ἔκειτο τῷ Α τὸ Γ ἕπεσθαι καὶ μὴ ἀντιστρέφειν, ἀνάπαλιν ἂν τῷ Δ τὸ Β εἵπετο. ἡ δὲ δεῖξις· ἐπεὶ ἀντίφασίς ἐστι τὸ FA, καὶ παντὶ θάτερον αὐτῶν ἀνάγκη ὑπάρχειν· ἐφ’ οὗ δὲ ἀληθὲς τὸ Β, οὐκ ἐνδέχεται τὸ Γ διὰ τὸ τῷ Γ ἕπεσθαι τὸ Α· ἕποιτο γὰρ ἄν τῷ Β τὸ Α, καὶ κατὰ τοῦ αὐτοῦ ἅμα ἄν εἴη ἀληθῆ τὰ Α Β, ὅπερ ἀδύνατον· λείπεται ἄρα τὸ Δ ἕπεσθαι τῷ Β. πάλιν ἐπεὶ κεῖται τῷ μὲν Γ ἕπεσθαι τὸ Α οὐ μὴν ἀντιστρέφειν οὐ γὰρ καὶ τῷ Α τὸ Γ), κατὰ παντὸς δὲ τὸ Γ ἢ τὸ Δ, εἰ τῷ Α μὴ ἕπεται τὸ Γ διὰ τὸ μὴ ἀντιστρέφειν, τότε ἀκολουθήσει αὐτῷ τὸ Δ· ἅμα ἄρα ἀληθὲς ἔσται τό τε Α καὶ τὸ Δ. εἰ δὲ ἦν ἀνάπαλιν τῷ Α τὸ Γ ἑπόμενον καὶ μὴ ἀντιστρέφον, εἵπετο μὲν ἄν καὶ τῷ Δ καὶ τὸ Β καὶ οὐκ ἀντέστρεφεν, ἦν δ’ ἂν τὰ συναληθευόμενα τὰ Γ Β, οὐ τὰ Α Δ. εἰ δὲ εἴη τὰ Α Δ συναληθευόμενα, οὐκέτι τὰ Β Γ ἅμα ἔσται ἐπὶ τοῦ αὐτοῦ ἀληθῆ τῷ ἕπεσθαι μὲν τῷ Γ τὸ Α τῷ δὲ Β τὸ Δ. 2 τε ora. a 3 μέρος Β: μόριον a 9 τῆς ἁπλῆς . . . τότε μὲν ἐπὶ (10) om. a 15 ἀντιστρέφει a 18 ante αἷς add. ἐν a 20 ἐκείνας a 23 καὶ om. a 24 τὸ ἁ τῷ a 25 δ Β3 corr.: ᾱ a B pr. 26 ἀνάγκη ὑπάρχειν B: ‘ὑπάρχει a 27 post β(??) eras. ca. 3 lit. B 30 to ᾱ τῷ γ(??) Β pr.: corr. Β3 31 εἰ a: ἦ ex ἢ corr. B3 32 ἐστι a ᾱ δ (ante εἰ) B: ᾱ β(??) a τὸ αὐτὸ a τῷ prius evau. Β ἅμα καί, <εἰ> εἶεν ἂν] ἀληθῆ τὰ Β Γ, ἕπεσθαι ληφθέντος τοῦ Β τῷ Γ ἅμα ἂν ἀληθῆ γίνοιτο τὰ Γ Δ. ὁμοίως καὶ τὰ Α Β, εἰ ληφθείη ἕπεσθαι τῷ Γ τὸ Β τῷ γὰρ Γ τὸ Α ἕπεται), ὃ ἀδύνατον· ἀντίφασις γάρ ἐστιν.