Book 11, Type prop

πρὸς ἃ ἐπίπεδα ἡ αὐτὴ εὐθεῖα ὀρθή ἐστιν, παράλληλα ἔσται τὰ ἐπίπεδα. εὐθεῖα γάρ τις ἡ ΑΒ πρὸς ἑκάτερον τῶν ΓΔ, ΕΖ ἐπιπέδων πρὸς ὀρθὰς ἔστω· λέγω, ὅτι παράλληλά ἐστι τὰ ἐπίπεδα. εἰ γὰρ μή, ἐκβαλλόμενα συμπεσοῦνται. συμπιπτέτωσαν· ποιήσουσι δὴ κοινὴν τομὴν εὐθεῖαν. ποιείτωσαν τὴν ΗΘ, καὶ εἰλήφθω ἐπὶ τῆς ΗΘ τυχὸν σημεῖον τὸ Κ, καὶ ἐπεζεύχθωσαν αἱ ΑΚ, ΒΚ. καὶ ἐπεὶ ἡ ΑΒ ὀρθή ἐστι πρὸς τὸ ΕΖ ἐπίπεδον, καὶ πρὸς τὴν ΒΚ ἄρα εὐθεῖαν οὖσαν ἐν τῷ ΕΖ ἐκβληθέντι ἐπιπέδῳ ὀρθή ἐστιν ἡ ΑΒ· ἡ ἄρα ὑπὸ ΑΒΚ γωνία ὀρθή ἐστιν. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΒΑΚ ὀρθή ἐστιν. τριγώνου δὴ τοῦ ΑΒΚ αἱ δύο γωνίαι αἱ ὑπὸ ΑΒΚ, ΒΑΚ δυσὶν ὀρθαῖς εἰσιν ἴσαι· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τὰ ΓΔ, ΕΖ ἐπίπεδα ἐκβαλλόμενα συμπεσοῦνται· παράλληλα ἄρα ἐστὶ τὰ ΓΔ, ΕΖ ἐπίπεδα. πρὸς ἃ ἐπίπεδα ἄρα ἡ αὐτὴ εὐθεῖα ὀρθή ἐστιν, παράλληλά ἐστι τὰ ἐπίπεδα· ὅπερ ἔδει δεῖξαι.