Book 11, Type prop

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