If equals be subtracted from equals, the remainders are equal