Things that are equal to the same thing are also equal to one another.
If equals are added to equals, then the wholes are equal.
If equals are subtracted from equals, then the remainders are equal.
Things that coincide with one another are equal to one another.
The whole is greater than the part.