ιη΄.

Ἐὰν ᾖ τρία μεγέθη, ἓν δὲ αὐτῶν ἑκατέρου τῶν λοιπῶν δοθέντι μεῖζον ᾖ ἢ ἐν λόγῳ, τὰ λοιπὰ δύο πρὸς ἄλληλα ἤτοι λόγον ἕξει δεδομένον, ἢ τὸ ἕτερον τοῦ ἑτέρου δοθέντι μεῖζόν ἐστιν ἢ ἐν λόγῳ. ἔστω τρία μεγέθη τὰ ΑΒ, ΓΔ, ΕΖ, ἓν δὲ αὐτῶν τὸ ΓΔ ἑκατέρου τῶν λοιπῶν τῶν ΑΒ, ΕΖ δοθέντι μεῖζον ἔστω ἢ ἐν λόγῳ. λέγω, ὅτι τὸ ΑΒ πρὸς τὸ ΕΖ ἤτοι λόγον ἔχει δεδομένον, ἢ τὸ ἕτερον τοῦ ἑτέρου δοθέντι μεῖζόν ἐστιν ἢ ἐν λόγῳ. ἐπεὶ γὰρ τὸ ΓΔ τοῦ ΑΒ δοθέντι μεῖζόν ἐστιν ἢ ἐν λόγῳ, ἀφῃρήσθω τὸ δοθὲν μέγεθος τὸ ΓΗ. λοιποῦ ἄρα τοῦ ΗΔ πρὸς τὸ ΑΒ λόγος ἐστὶ δοθείς. ὁ αὐτὸς αὐτῷ γεγονέτω ὁ τοῦ ΓΗ πρὸς τὸ ΑΘ. λόγος ἄρα καὶ τοῦ ΓΗ πρὸς τὸ ΑΘ δοθείς. δοθὲν δὲ τὸ ΓΗ. δοθὲν ἄρα καὶ τὸ ΑΘ. καὶ ὅλου τοῦ ΓΔ πρὸς ὅλον τὸ ΘΒ λόγος ἐστὶ δοθείς. πάλιν, ἐπεὶ τὸ ΓΔ τοῦ ΕΖ δοθέντι μεῖζόν ἐστιν ἢ ἐν λόγῳ, ἀφῃρήσθω τὸ δοθὲν μέγεθος τὸ ΓΚ. λοιποῦ τοῦ ΚΔ πρὸς ΕΖ λόγος ἐστὶ δοθείς. ὁ αὐτὸς αὐτῷ γεγονέτω ὁ τοῦ ΓΚ πρὸς ΛΕ. λόγος ἄρα καὶ τοῦ ΓΚ πρὸς ΛΕ δοθείς. δοθὲν δὲ τὸ ΓΚ. δοθὲν ἄρα καὶ τὸ ΛΕ. καὶ ὅλου τοῦ ΓΔ πρὸς ὅλον τὸ ΛΖ λόγος ἐστὶ δοθείς. τοῦ δὲ ΓΔ πρὸς ΘΒ λόγος ἐστὶ δοθείς. καὶ τοῦ ΘΒ ἄρα πρὸς ΛΖ λόγος ἐστὶ δοθείς. καὶ ἀφῄρηται ἀπʼ αὐτῶν δε- δομένα μεγέθη τὰ ΘΑ, ΛΕ. τὰ ΑΒ, ΕΖ ἄρα ἤτοι πρὸς ἄλληλα λόγον ἕξει δεδομένον, ἢ τὸ ἕτερον τοῦ ἑτέρου δοθέντι μεῖζόν ἐστιν ἢ ἐν λόγῳ.