For when something is subtracted from one of two equals and added to the other, the other is in excess by these two; since if what was taken from the one had not been added to the other, the latter would have been in excess by one only.