Book 8, Type prop

ἐὰν τετράγωνος ἀριθμὸς τετράγωνον ἀριθμὸν μὴ μετρῇ, οὐδὲ ἡ πλευρὰ τὴν πλευρὰν μετρήσει· κἂν ἡ πλευρὰ τὴν πλευρὰν μὴ μετρῇ, οὐδὲ ὁ τετράγωνος τὸν τετράγωνον μετρήσει. ῎ἔστωσαν τετράγωνοι ἀριθμοὶ οἱ Α, Β, πλευραὶ δὲ αὐτῶν ἔστωσαν οἱ Γ, Δ, καὶ μὴ μετρείτω ὁ Α τὸν Β· λέγω, ὅτι οὐδὲ ὁ Γ τὸν Δ μετρεῖ. εἰ γὰρ μετρεῖ ὁ Γ τὸν Δ, μετρήσει καὶ ὁ Α τὸν Β. οὐ μετρεῖ δὲ ὁ Α τὸν Β· οὐδὲ ἄρα ὁ Γ τὸν Δ μετρήσει. μὴ μετρείτω πάλιν ὁ Γ τὸν Δ· λέγω, ὅτι οὐδὲ ὁ Α τὸν Β μετρήσει. εἰ γὰρ μετρεῖ ὁ Α τὸν Β, μετρήσει καὶ ὁ Γ τὸν Δ. οὐ μετρεῖ δὲ ὁ Γ τὸν Δ· οὐδʼ ἄρα ὁ Α τὸν Β μετρήσει· ὅπερ ἔδει δεῖξαι.