Book 7, Type prop

ἅπας σύνθετος ἀριθμὸς ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται. ἔστω σύνθετος ἀριθμὸς ὁ Α· λέγω, ὅτι ὁ Α ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται. ʼἐπεὶ γὰρ σύνθετός ἐστιν ὁ Α, μετρήσει τις αὐτὸν ἀριθμός. μετρείτω, καὶ ἔστω ὁ Β. καὶ εἰ μὲν πρῶτός ἐστιν ὁ Β, γεγονὸς ἂν εἴη τὸ ἐπιταχθέν. εἰ δὲ σύνθετος, μετρήσει τις αὐτὸν ἀριθμός. μετρείτω, καὶ ἔστω ὁ Γ. καὶ ἐπεὶ ὁ Γ τὸν Β μετρεῖ, ὁ δὲ Β τὸν Α μετρεῖ, καὶ ὁ Γ ἄρα τὸν Α μετρεῖ. καὶ εἰ μὲν πρῶτός ἐστιν ὁ Γ, γεγονὸς ἂν εἴη τὸ ἐπιταχθέν. εἰ δὲ σύνθετος, μετρήσει τις αὐτὸν ἀριθμός. τοιαύτης δὴ γινομένης ἐπισκέψεως ληφθήσεταί τις πρῶτος ἀριθμός, ὃς μετρήσει. εἰ γὰρ οὐ ληφθήσεται, μετρήσουσι τὸν Α ἀριθμὸν ἄπειροι ἀριθμοί, ὧν ἕτερος ἑτέρου ἐλάσσων ἐστίν· ὅπερ ἐστὶν ἀδύνατον ἐν ἀριθμοῖς. ληφθήσεταί τις ἄρα πρῶτος ἀριθμός, ὃς μετρήσει τὸν πρὸ ἑαυτοῦ, ὃς καὶ τὸν Α μετρήσει. ἅπας ἄρα σύνθετος ἀριθμὸς ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται· ὅπερ ἔδει δεῖξαι.