τὰ τῷ αὐτῷ ἴσα καὶ ἀλλήλοις ἐστὶν ἴσα.

Things which are equal to the same thing are also equal to one another. (a = c & b = c -> a = b)

Euclid's Elements, Common Notion 1