Ἔστω μέση ἡ Α· λέγω, ὅτι ἀπὸ τῆς Α ἄπειροι ἄλογοι γίνονται, καὶ οὐδεμία οὐδεμιᾷ τῶν πρότερον ἡ αὐτή.
Ἐκκείσθω ῥητὴ ἡ Β, καὶ τῷ ὑπὸ τῶν Β, Α ἴσον ἔστω τὸ ἀπὸ τῆς Γ· ἄλογος ἄρα ἐστὶν ἡ Γ· τὸ γὰρ ὑπὸ ἀλόγου καὶ ῥητῆς ἄλογόν ἐστιν. καὶ οὐδεμιᾷ τῶν πρότερον ἡ αὐτή· τὸ γὰρ ἀπ' οὐδεμιᾶς τῶν πρότερον παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ μέσην. πάλιν δὴ τῷ ὑπὸ τῶν Β, Γ ἴσον ἔστω τὸ ἀπὸ τῆς Δ· ἄλογον ἄρα ἐστὶ τὸ ἀπὸ τῆς Δ. ἄλογος ἄρα ἐστὶν ἡ Δ· καὶ οὐδεμιᾷ τῶν πρότερον ἡ αὐτή· τὸ γὰρ ἀπ' οὐδεμιᾶς τῶν πρότερον παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ τὴν Γ. ὁμοίως δὴ τῆς τοιαύτης τάξεως ἐπ᾿ ἄπειρον προβαινούσης φανερόν, ὅτι ἀπὸ τῆς μέσης ἄπειροι ἄλογοι γίνονται, καὶ οὐδεμία οὐδεμιᾷ τῶν πρότερον ἡ αὐτή· ὅπερ ἔδει δεῖξαι].