gre X,9Πόρισμα
Καὶ φανερὸν ἐκ τῶν δεδειγμένων ἔσται, ὅτι αἱ μήκει σύμμετροι πάντως καὶ δυνάμει, αἱ δὲ δυνάμει οὐ πάντως καὶ μήκει [εἴπερ τὰ ἀπὸ τῶν μήκει συμμέτρων εὐθειῶν τετράγωνα λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, τὰ δὲ λόγον ἔχοντα, ὃν ἀριθμὸς πρὸς ἀριθμόν, σύμμετρά ἐστιν. ὥστε αἱ μήκει σύμμετροι εὐθεῖαι οὐ μόνον [εἰσὶ] μήκει σύμμετροι, ἀλλὰ καὶ δυνάμει.
πάλιν ἐπεί, ὅσα τετράγωνα πρὸς ἄλληλα λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, μήκει ἐδείχθη σύμμετρα καὶ δυνάμει ὄντα σύμμετρα τῷ τὰ τετράγωνα λόγον ἔχειν, ὃν ἀριθμὸς πρὸς ἀριθμόν, ὅσα ἄρα τετράγωνα λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, ἀλλὰ ἁπλῶς, ὃν ἀριθμὸς πρὸς ἀριθμόν, σύμμετρα μὲν ἔσται αὐτὰ τὰ τετράγωνα δυνάμει, οὐκέτι δὲ καὶ μήκει: ὥστε τὰ μὲν μήκει σύμμετρα πάντως καὶ δυνάμει, τὰ δὲ δυνάμει οὐ πάντως καὶ μήκει, εἰ μὴ καὶ λόγον ἔχοιεν, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν.
λέγω δή, ὅτι [καὶ] αἱ μήκει ἀσύμμετροι οὐ πάντως καὶ δυνάμει, ἐπειδήπερ αἱ δυνάμει σύμμετροι δύνανται λόγον μὴ ἔχειν, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, καὶ διὰ τοῦτο δυνάμει οὖσαι σύμμετροι μήκει εἰσὶν ἀσύμμετροι. ὥστε οὐχ αἱ τῷ μήκει ἀσύμμετροι πάντως καὶ δυνάμει, ἀλλὰ δύνανται μήκει οὖσαι ἀσύμμετροι δυνάμει εἶναι καὶ ἀσύμμετροι καὶ σύμμετροι.
αἱ δὲ δυνάμει ἀσύμμετροι πάντως καὶ μήκει ἀσύμμετροι: εἰ γὰρ [εἰσι] μήκει σύμμετροι, ἔσονται καὶ δυνάμει σύμμετροι. ὑπόκεινται δὲ καὶ ἀσύμμετροι: ὅπερ ἄτοπον. αἱ ἄρα δυνάμει ἀσύμμετροι πάντως καὶ μήκει].