"if a = b ⇒ a - c = b - c", which of the following axioms is this?
1
The Whole is greater than the Part.
2
Things which are Coincide with each other are equal to one another.
3
Things which are double of same thing are equal to each other.
4
if equals are subtracted from equal the remainders are equal.