Book 9, Type prop

ἐὰν περισσοὶ ἀριθμοὶ ὁποσοιοῦν συντεθῶσιν, τὸ δὲ πλῆθος αὐτῶν ἄρτιον ᾖ, ὁ ὅλος ἄρτιος ἔσται. Συγκείσθωσαν γὰρ περισσοὶ ἀριθμοὶ ὁσοιδηποτοῦν ἄρτιοι τὸ πλῆθος οἱ ΑΒ, ΒΓ, ΓΔ, ΔΕ· λέγω, ὅτι ὅλος ὁ ΑΕ ἄρτιός ἐστιν. ἐπεὶ γὰρ ἕκαστος τῶν ΑΒ, ΒΓ, ΓΔ, ΔΕ περιττός ἐστιν, ἀφαιρεθείσης μονάδος ἀφʼ ἑκάστου ἕκαστος τῶν λοιπῶν ἄρτιος ἔσται· ὥστε καὶ ὁ συγκείμενος ἐξ αὐτῶν ἄρτιος ἔσται. ἔστι δὲ καὶ τὸ πλῆθος τῶν μονάδων ἄρτιον. καὶ ὅλος ἄρα ὁ ΑΕ ἄρτιός ἐστιν· ὅπερ ἔδει δεῖξαι.