Book 10, Type prop3

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