Euclid Elementa 10.prop1.2

ἐὰν δύο μεγεθῶν ἐκκειμένων ἀνίσων ἀνθυφαιρουμένου ἀεὶ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος τὸ καταλειπόμενον μηδέποτε καταμετρῇ τὸ πρὸ ἑαυτοῦ, ἀσύμμετρα ἔσται τὰ μεγέθη.

δύο γὰρ μεγεθῶν ὄντων ἀνίσων τῶν ΑΒ, ΓΔ καὶ ἐλάσσονος τοῦ ΑΒ ἀνθυφαιρουμένου ἀεὶ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος τὸ περιλειπόμενον μηδέποτε καταμετρείτω τὸ πρὸ ἑαυτοῦ· λέγω, ὅτι ἀσύμμετρά
ἐστι τὰ ΑΒ, ΓΔ μεγέθη.

εἰ γάρ ἐστι σύμμετρα, μετρήσει τι αὐτὰ μέγεθος. μετρείτω, εἰ δυνατόν, καὶ ἔστω τὸ Ε· καὶ τὸ μὲν ΑΒ τὸ ΖΔ καταμετροῦν λειπέτω ἑαυτοῦ ἔλασσον τὸ ΓΖ, τὸ δὲ
ΓΖ τὸ ΒΗ καταμετροῦν λειπέτω ἑαυτοῦ ἔλασσον τὸ ΑΗ, καὶ τοῦτο ἀεὶ γινέσθω, ἕως οὗ λειφθῇ τι μέγεθος, ὅ ἐστιν ἔλασσον τοῦ Ε. γεγονέτω, καὶ λελείφθω τὸ ΑΗ ἔλασσον τοῦ Ε. ἐπεὶ οὖν τὸ Ε τὸ ΑΒ μετρεῖ, ἀλλὰ τὸ ΑΒ τὸ ΔΖ μετρεῖ, καὶ τὸ Ε ἄρα τὸ ΖΔ μετρήσει. μετρεῖ δὲ καὶ ὅλον τὸ
ΓΔ· καὶ λοιπὸν ἄρα τὸ ΓΖ μετρήσει. ἀλλὰ τὸ ΓΖ τὸ ΒΗ μετρεῖ· καὶ τὸ Ε ἄρα τὸ ΒΗ μετρεῖ. μετρεῖ δὲ καὶ ὅλον τὸ ΑΒ· καὶ λοιπὸν ἄρα τὸ ΑΗ μετρήσει, τὸ μεῖζον τὸ ἔλασσον. ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τὰ ΑΒ, ΓΔ μεγέθη μετρήσει τι μέγεθος· ἀσύμμετρα ἄρα ἐστὶ τὰ ΑΒ, ΓΔ
μεγέθη.

ἐὰν ἄρα δύο μεγεθῶν ἀνίσων, καὶ τὰ ἑξῆς.