Euclid Elementa 9.prop.34

ἐὰν ἀριθμὸς μήτε τῶν ἀπὸ δυάδος διπλασιαζομένων ᾖ μήτε τὸν ἥμισυν ἔχῃ περισσόν, ἀρτιάκις τε ἄρτιός ἐστι καὶ ἀρτιάκις περισσός.

ἀριθμὸς γὰρ ὁ Α μήτε τῶν ἀπὸ δυάδος διπλασιαζομένων
ἔστω μήτε τὸν ἥμισυν ἐχέτω περισσόν· λέγω, ὅτι ὁ Α ἀρτιάκις τέ ἐστιν ἄρτιος καὶ ἀρτιάκις περισσός.

ὅτι μὲν οὖν ὁ Α ἀρτιάκις ἐστὶν ἄρτιος, φανερόν· τὸν γὰρ ἥμισυν οὐκ ἔχει περισσόν. λέγω δή, ὅτι καὶ ἀρτιάκις περισσός ἐστιν. ἐὰν γὰρ τὸν Α τέμνωμεν δίχα καὶ τὸν
ἥμισυν αὐτοῦ δίχα καὶ τοῦτο ἀεὶ ποιῶμεν, καταντήσομεν εἴς τινα ἀριθμὸν περισσόν, ὃς μετρήσει τὸν Α κατὰ ἄρτιον ἀριθμόν. εἰ γὰρ οὔ, καταντήσομεν εἰς δυάδα, καὶ ἔσται ὁ Α τῶν ἀπὸ δυάδος διπλασιαζομένων· ὅπερ οὐχ ὑπόκειται. ὥστε ὁ Α ἀρτιάκις περισσός ἐστιν. ἐδείχθη δὲ
καὶ ἀρτιάκις ἄρτιος. ὁ Α ἄρα ἀρτιάκις τε ἄρτιός ἐστι καὶ ἀρτιάκις περισσός· ὅπερ ἔδει δεῖξαι.