Εἰ γὰρ μή ἐστι τῇ ΒΓ ἐπ᾽ εὐθείας ἡ ΒΔ, ἔστω τῇ ΓΒ ἐπ᾽ εὐθείας ἡ ΒΕ. Ἐπεὶ οὖν εὐθεῖα ἡ ΑΒ ἐπ᾽ εὐθεῖαν τὴν ΓΒΕ ἐφέστηκεν, αἱ ἄρα ὑπὸ ΑΒΓ, ΑΒΕ γωνίαι δύο ὀρθαῖς ἴσαι εἰσίν: εἰσὶ δὲ καὶ αἱ ὑπὸ ΑΒΓ, ΑΒΔ δύο ὀρθαῖς ἴσαι: αἱ ἄρα ὑπὸ ΓΒΑ, ΑΒΕ ταῖς ὑπὸ ΓΒΑ, ΑΒΔ ἴσαι εἰσίν. κοινὴ ἀφῃρήσθω ἡ ὑπὸ ΓΒΑ: λοιπὴ ἄρα ἡ ὑπὸ ΑΒΕ λοιπῇ τῇ ὑπὸ ΑΒΔ ἐστιν ἴση, ἡ ἐλάσσων τῇ μείζονι: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἐπ᾽ εὐθείας ἐστὶν ἡ ΒΕ τῇ ΓΒ. ὁμοίως δὴ δείξομεν, ὅτι οὐδὲ ἄλλη τις πλὴν τῆς ΒΔ: ἐπ᾽ εὐθείας ἄρα ἐστὶν ἡ ΓΒ τῇ ΒΔ.