Euclid Elementa 1.prop.33

αἱ τὰς ἴσας τε καὶ παραλλήλους ἐπὶ τὰ αὐτὰ μέρη ἐπιζευγνύουσαι εὐθεῖαι καὶ αὐταὶ ἴσαι τε καὶ παράλληλοί εἰσιν.

ἔστωσαν ἴσαι τε καὶ παράλληλοι
αἱ ΑΒ, ΓΔ, καὶ ἐπιζευγνύτωσαν αὐτὰς ἐπὶ τὰ αὐτὰ μέρη εὐθεῖαι αἱ ΑΓ, ΒΔ· λέγω, ὅτι καὶ αἱ ΑΓ, ΒΔ ἴσαι τε καὶ παράλληλοί εἰσιν.

ἐπεζεύχθω ἡ ΒΓ. καὶ ἐπεὶ παράλληλός ἐστιν ἡ ΑΒ
τῇ ΓΔ, καὶ εἰς αὐτὰς ἐμπέπτωκεν ἡ ΒΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΑΒΓ, ΒΓΔ ἴσαι ἀλλήλαις εἰσίν. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΓΔ κοινὴ δὲ ἡ ΒΓ, δύο δὴ αἱ ΑΒ, ΒΓ δύο ταῖς ΒΓ, ΓΔ ἴσαι εἰσίν· καὶ γωνία ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΒΓΔ ἴση· βάσις ἄρα ἡ ΑΓ βάσει τῇ ΒΔ
ἐστιν ἴση, καὶ τὸ ΑΒΓ τρίγωνον τῷ ΒΓΔ τριγώνῳ ἴσον ἐστίν, καὶ αἱ λοιπαὶ γωνίαι ταῖς λοιπαῖς γωνίαις ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφʼ ἃς αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ἴση ἄρα ἡ ὑπὸ ΑΓΒ γωνία τῇ ὑπὸ ΓΒΔ. καὶ ἐπεὶ εἰς δύο εὐθείας τὰς ΑΓ, ΒΔ εὐθεῖα ἐμπίπτουσα ἡ
ΒΓ τὰς ἐναλλὰξ γωνίας ἴσας ἀλλήλαις πεποίηκεν, παράλληλος ἄρα ἐστὶν ἡ ΑΓ τῇ ΒΔ. ἐδείχθη δὲ αὐτῇ καὶ ἴση.

αἱ ἄρα τὰς ἴσας τε καὶ παραλλήλους ἐπὶ τὰ αὐτὰ μέρη ἐπιζευγνύουσαι εὐθεῖαι καὶ αὐταὶ ἴσαι τε καὶ παράλληλοί εἰσιν· ὅπερ ἔδει δεῖξαι.