Book 7, Type prop

ἐὰν δύο ἀριθμοὶ ἀριθμόν τινα πολλαπλασιάσαντες ποιῶσί τινας, οἱ γενόμενοι ἐξ αὐτῶν τὸν αὐτὸν ἕξουσι λόγον τοῖς πολλαπλασιάσασιν. δύο γὰρ ἀριθμοὶ οἱ Α, Β ἀριθμόν τινα τὸν Γ πολλαπλασιάσαντες τοὺς Δ, Ε ποιείτωσαν· λέγω, ὅτι ἐστὶν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν Ε. ἐπεὶ γὰρ ὁ Α τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν, καὶ ὁ Γ ἄρα τὸν Α πολλαπλασιάσας τὸν Δ πεποίηκεν. διὰ τὰ αὐτὰ δὴ καὶ ὁ Γ τὸν Β πολλαπλασιάσας τὸν Ε πεποίηκεν. ἀριθμὸς δὴ ὁ Γ δύο ἀριθμοὺς τοὺς Α, Β πολλαπλασιάσας τοὺς Δ, Ε πεποίηκεν. ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν ε· ὅπερ ἔδει δεῖξαι.