Content of type 'cn'
G.16 equals to the same are equal
Things equal to the same thing are equal to one another.
G.19 equals subtracted from equals are equal
If equals are subtracted from equals, the remainders are equal.
G.23 coinciding things are equal
Things / A B /, / D E / that coincide with one another are equal to one another.
G.26 the whole is greater than the part
The whole is greater than the part.
G.36 equals added to equals are equal
If equals are added to equals, the wholes are equal.
G.16 equals to the same are equal
Things which are equal to the same thing are also equal to one another.
G.19 equals subtracted from equals are equal
If equals be subtracted from equals, the remainders are equal.
G.23 coinciding things are equal
Things / A B /, / D E / that coincide with one another are equal to one another.
G.23 coinciding things are equal
Things which coincide with one another are equal to one another.
G.26 the whole is greater than the part
The whole is greater than the part.
G.36 equals added to equals are equal
If equals be added to equals, the wholes are equal.