elem.1.c.n.4

[7] Things which coincide with one another are equal to one another.

[ Καὶ ἐὰν ἀνίσοις ἴσα προστεθῇ, τὰ ὅλα ἐστὶν ἄνισα.