Book 9, Type prop

ἐὰν περισσὸς ἀριθμὸς πρός τινα ἀριθμὸν πρῶτος ᾖ, καὶ πρὸς τὸν διπλασίονα αὐτοῦ πρῶτος ἔσται. περισσὸς γὰρ ἀριθμὸς ὁ Α πρός τινα ἀριθμὸν τὸν Β πρῶτος ἔστω, τοῦ δὲ Β διπλασίων ἔστω ὁ Γ· λέγω, ὅτι ὁ Α πρὸς τὸν Γ πρῶτός ἐστιν. εἰ γὰρ μή εἰσιν πρῶτοι, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω, καὶ ἔστω ὁ Δ. καί ἐστιν ὁ Α περισσός· περισσὸς ἄρα καὶ ὁ Δ. καὶ ἐπεὶ ὁ Δ περισσὸς ὢν τὸν Γ μετρεῖ, καί ἐστιν ὁ Γ ἄρτιος, καὶ τὸν ἥμισυν ἄρα τοῦ Γ μετρήσει . τοῦ δὲ Γ ἥμισύ ἐστιν ὁ Β· ὁ Δ ἄρα τὸν Β μετρεῖ. μετρεῖ δὲ καὶ τὸν Α. ὁ Δ ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ὁ Α πρὸς τὸν Γ πρῶτος οὔκ ἐστιν. οἱ Α, Γ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν· ὅπερ ἔδει δεῖξαι.