Book 9, Type prop

ἐὰν ἀπὸ ἀρτίου ἀριθμοῦ ἄρτιος ἀφαιρεθῇ, ὁ λοιπὸς ἄρτιος ἔσται. ἀπὸ γὰρ ἀρτίου τοῦ ΑΒ ἄρτιος ἀφῃρήσθω ὁ ΒΓ· λέγω, ὅτι ὁ λοιπὸς ὁ ΓΑ ἄρτιός ἐστιν. ἐπεὶ γὰρ ὁ ΑΒ ἄρτιός ἐστιν, ἔχει μέρος ἥμισυ. διὰ τὰ αὐτὰ δὴ καὶ ὁ ΒΓ ἔχει μέρος ἥμισυ· ὥστε καὶ λοιπὸς ἄρτιος ἐστὶν ὁ ΑΓ· ὅπερ ἔδει δεῖξαι.