Euclid Elementa 7.prop.30

ἐὰν δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, τὸν δὲ γενόμενον ἐξ αὐτῶν μετρῇ τις πρῶτος ἀριθμός, καὶ ἕνα τῶν ἐξ ἀρχῆς μετρήσει.

δύο γὰρ ἀριθμοὶ οἱ Α, Β πολλαπλασιάσαντες
ἀλλήλους τὸν Γ ποιείτωσαν, τὸν δὲ Γ μετρείτω τις πρῶτος ἀριθμὸς ὁ Δ· λέγω, ὅτι ὁ Δ ἕνα τῶν Α, Β μετρεῖ.

τὸν γὰρ Α μὴ μετρείτω· καί
ἐστι πρῶτος ὁ Δ· οἱ Α, Δ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. καὶ ὁσάκις ὁ Δ τὸν Γ μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ε. ἐπεὶ οὖν ὁ Δ τὸν Γ μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας, ὁ Δ ἄρα τὸν Ε πολλαπλασιάσας τὸν Γ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Α τὸν
β πολλαπλασιάσας τὸν Γ πεποίηκεν· ἴσος ἄρα ἐστὶν ὁ ἐκ τῶν Δ, Ε τῷ ἐκ τῶν Α, Β. ἔστιν ἄρα ὡς ὁ Δ πρὸς τὸν Α, οὕτως ὁ Β πρὸς τὸν Ε. οἱ δὲ Δ, Α πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ
ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· ὁ Δ ἄρα τὸν Β μετρεῖ. ὁμοίως δὴ δείξομεν, ὅτι καὶ ἐὰν τὸν Β μὴ μετρῇ, τὸν Α μετρήσει. ὁ Δ ἄρα ἕνα τῶν Α, Β μετρεῖ· ὅπερ ἔδει δεῖξαι.